Results for *

Displaying results 1 to 25 of 36.

  1. Finite automata
    behavior and synthesis
    Published: 1973
    Publisher:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 T759
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 8763
    No inter-library loan
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.1 Trac
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Barzdin, Jan M.; Trachtenbrot, Boris Avraamovič
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0720480213; 0444104186
    RVK Categories: AH 16032 ; EC 3750 ; ES 920 ; HE 310 ; ST 130 ; ST 136
    Series: Fundamental studies in computer science ; 1
    Subjects: Automatentheorie; Automat; Formale Sprache
    Scope: XI, 321 S., graph. Darst.
    Notes:

    Literaturverz. S. 310 - 315

  2. Theory and application of a bottom-up syntax-directed translator
    Published: 1973
    Publisher:  Acad. Press, New York, N.Y. [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    Unlimited inter-library loan, copies and loan
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2
    No inter-library loan
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2 ex 2
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0120426501
    RVK Categories: ES 940 ; ES 960 ; ST 136 ; ST 265
    Series: ACM monograph series
    Subjects: Maschinelle Übersetzung; Compiler; Formale Sprache
    Scope: X, 160 S., graph. Darst.
    Notes:

    Literaturverz. S. 153 - 155

  3. Logic, Language and Meaning
    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    Contributor: Aloni, Maria (Herausgeber); Kimmelman, Vadim (Herausgeber); Roelofsen, Floris (Herausgeber); Sassoon, Galit (Herausgeber); Schulz, Katrin (Herausgeber); Westera, Matthijs (Herausgeber)
    Published: 2012
    Publisher:  Springer Berlin Heidelberg, Berlin, Heidelberg ; Springer International Publishing AG, Cham

    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    No inter-library loan
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    No inter-library loan
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
  4. Logic, Language and Meaning
    17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
    Contributor: Aloni, Maria (Herausgeber); Bastiaanse, Harald (Herausgeber); de Jager, Tikitu (Herausgeber); Schulz, Katrin (Herausgeber)
    Published: 2010
    Publisher:  Springer Berlin Heidelberg, Berlin, Heidelberg ; Springer International Publishing AG, Cham

    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    No inter-library loan
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    No inter-library loan
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    No inter-library loan
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Aloni, Maria (Herausgeber); Bastiaanse, Harald (Herausgeber); de Jager, Tikitu (Herausgeber); Schulz, Katrin (Herausgeber)
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783642142871; 3642142877
    Other identifier:
    RVK Categories: SS 4800
    DDC Categories: 400; 004
    Edition: 1st ed. 2010
    Series: Lecture Notes in Artificial Intelligence ; 6042
    Subjects: Natürliche Sprache; Formale Sprache; Logische Sprache; Semantik; Pragmatik; Mathematische Linguistik; Computer programming; Software engineering; Compilers (Computer programs); Computer science; Digital humanities; Machine theory; Programming Techniques; Software Engineering; Compilers and Interpreters; Symbolic and Algebraic Manipulation; Digital Humanities; Formal Languages and Automata Theory
    Scope: 1 Online-Ressource (X, 476 Seiten), 1 illus. in color.
  5. Theory and application of a bottom-up syntax-directed translator
    Published: 1973
    Publisher:  Acad. Pr., New York u.a.

    Universitätsbibliothek Augsburg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Eichstätt-Ingolstadt
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Unlimited inter-library loan, copies and loan
    Universität der Bundeswehr München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Würzburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    RVK Categories: ES 940 ; ES 960 ; ST 265
    Series: ACM monograph series
    Subjects: Formale Sprache; Compiler; Maschinelle Übersetzung
    Scope: X, 160 S.
  6. A syntax-oriented translator
    Published: 1966
    Publisher:  Acad. Press, New York [u.a.]

    Deutsches Museum, Bibliothek
    No loan of volumes, only paper copies will be sent
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    RVK Categories: SK 990
    Edition: 2. print., rev.
    Subjects: Machine translating; Maschinelle Übersetzung; Formale Sprache; Übersetzer <Informatik>
    Scope: X, 132 S.
  7. Sintaksičeski orientirovannyj transljator
    Published: 1969
    Publisher:  Mir, Moskva

    Deutsches Museum, Bibliothek
    No loan of volumes, only paper copies will be sent
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: Russian
    Media type: Book
    RVK Categories: ES 960
    Subjects: Übersetzer <Informatik>; Maschinelle Übersetzung; Formale Sprache
    Scope: 174 S., graph. Darst.
    Notes:

    In kyrill. Schr., russ.

  8. Logique pour le traitement de la langue naturelle
    application à la langue française
    Published: 2001
    Publisher:  Hermes Science Publ., Paris

    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Würzburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
  9. A syntax-oriented translator
    Published: [1967, 1966]; © 1966
    Publisher:  Academic Press, New York

    Ostbayerische Technische Hochschule Amberg-Weiden / Hochschulbibliothek Amberg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (URL des Erstveröffentlichers)
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9781483231044; 1483231046
    Edition: Second print., revised
    Subjects: Formale Sprache; Maschinelle Übersetzung; Machine translating; Machine translating; Übersetzer <Informatik>; Maschinelle Übersetzung; Formale Sprache
    Scope: 1 online resource (x, 132 pages), illustrations
  10. A syntax-oriented translator
    Published: 1968

    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: Undetermined
    Media type: Book
    Subjects: Formale Sprache; Maschinelle Übersetzung; Übersetzer <Informatik>
    Notes:

    (3 print.)
    New York, London: Acad. Pr. (1968). X, 132 S.

  11. A syntax-oriented translator
    Published: 1966 [erschienen] 1967
    Publisher:  Acad. Press, New York [u.a.]

    Universität der Bundeswehr München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    RVK Categories: SK 990
    Edition: 2. print, rev.
    Subjects: Machine translating; Maschinelle Übersetzung; Übersetzer <Informatik>; Formale Sprache
    Scope: XI, 132 S.
  12. Exe.cut[up]able statements
    poetische Kalküle und Phantasmen des selbstausführenden Texts
    Published: 2011
    Publisher:  Fink, München

    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Universität München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Passau
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: German
    Media type: Dissertation
    ISBN: 9783770544998; 3770544994
    Other identifier:
    9783770544998
    RVK Categories: ET 760
    DDC Categories: 800
    Subjects: Zeichen; Sprache; Kalkül; Kombinatorik; Ästhetik; Algorithmus; Das Fantastische; Formale Sprache; Literatur
    Scope: 330 S., Ill.
    Notes:

    Zugl.: Berlin, Freie Univ., Diss., 2006

  13. Logique pour le traitement de la langue naturelle
    application à la langue française
    Published: 2001
    Publisher:  Hermes Science, Paris

    Universitäts- und Landesbibliothek Düsseldorf
    Unlimited inter-library loan, copies and loan
    Universitäts- und Landesbibliothek Münster, Zentralbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: French
    Media type: Book
    Format: Print
    ISBN: 2746202662
    RVK Categories: ID 6100
    Subjects: Französisch; Syntax; Französisch; Computerlinguistik; Natürlichsprachiges System; Formale Sprache; Maschinelle Übersetzung
    Scope: 359 S.
  14. International Symposium on Data and Sense Mining, Machine Translation and Controlled Languages, and their application to emergencies and safety critical domains
    july 1- 3, 2009, Centre Tesnière, University of Franche-Comté, Besançon, France
    Published: 2009
    Publisher:  Presses Univ. de Franche-Comté, Besançon

    Universitätsbibliothek Duisburg-Essen
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: French
    Media type: Conference proceedings
    Format: Print
    ISBN: 9782848672618
    Corporations / Congresses: International Symposium on Data and Sense Mining, Machine Translation and Controlled Languages, and Their Application to Emergencies and Safety Critical Domains (2009, Besançon)
    Series: BULAG ; [33]
    Subjects: Data Mining; Maschinelle Übersetzung; Formale Sprache
    Scope: XIII, 277 S. : graph. Darst.
  15. Language as calculus vs. language as universal medium
    a study in Husserl, Heidegger and Gadamer
    Published: 1989
    Publisher:  Kluwer Academic Publ., Dordrecht [u.a.]

    Universitätsbibliothek Bielefeld
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der Fernuniversität
    Unlimited inter-library loan, copies and loan
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Trier
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
  16. Theory and application of a bottom-up syntax-directed translator
    Published: 1973
    Publisher:  Acad. Pr., New York

    Universitätsbibliothek Bielefeld
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitäts- und Landesbibliothek Düsseldorf
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Media type: Book
    Format: Print
    ISBN: 0120426501
    RVK Categories: ST 265 ; ES 940 ; ES 960
    Subjects: Maschinelle Übersetzung; Formale Sprache; Compiler
    Scope: 160 S.
  17. A syntax-oriented translator
    Published: 1966
    Publisher:  Acad. Press, New York [u.a.]

    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    RVK Categories: ES 960 ; SK 990
    Subjects: LANGAGE METASYNTAXIQUE; TRADUCTEUR; Traduction automatique; syntaxe; Machine translating; Formale Sprache; Übersetzer <Informatik>; Maschinelle Übersetzung
    Scope: X, 131 S.
  18. Theory and application of a bottom-up syntax-directed translator
    Published: 1973
    Publisher:  Acad. Pr., New York

    Universitätsbibliothek Bielefeld
    NA185.00 A161
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Bielefeld
    HI500 A161
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    10.9 149.1
    No inter-library loan
    Universitäts- und Landesbibliothek Düsseldorf
    matb.a161
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: Undetermined
    Media type: Book
    ISBN: 0120426501
    RVK Categories: ST 265 ; ES 940 ; ES 960
    Subjects: Maschinelle Übersetzung; Formale Sprache; Compiler
    Scope: 160 S.
  19. Language as calculus vs. language as universal medium
    a study in Husserl, Heidegger and Gadamer
    Published: 1989
    Publisher:  Kluwer Academic Publ., Dordrecht [u.a.]

    Universitätsbibliothek Bielefeld
    BC100 K97
    Unlimited inter-library loan, copies and loan
    Ruhr-Universität Bochum, Institut für Philosophie, Bibliothek
    1859/HU/1989.KU
    No inter-library loan
    Ruhr-Universität Bochum, Universitätsbibliothek
    NLB6878
    Loan of volumes, no copies
    Universitätsbibliothek der Fernuniversität
    BEP/KUS
    Unlimited inter-library loan, copies and loan
    Universität Köln, Philosophisches Seminar, Bibliothek
    401/N21Huss4775
    No inter-library loan
    Universitätsbibliothek Trier
    OK/b16644
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: Undetermined
    Media type: Book
    ISBN: 0792303334
    Series: Synthese library ; 207
    Subjects: Ontologie; Sprachphilosophie; Hermeneutik; Universalität; Formale Sprache; Sprache; Phänomenologie
    Other subjects: Gadamer, Hans-Georg (1900-2002); Heidegger, Martin (1889-1976); Husserl, Edmund (1859-1938)
    Scope: XI, 362 S.
  20. Logique pour le traitement de la langue naturelle
    application à la langue française
    Published: 2001
    Publisher:  Hermes Science, Paris

    Universitäts- und Landesbibliothek Düsseldorf
    rom/c2867
    Unlimited inter-library loan, copies and loan
    Bibliotheken Romanisches Seminar und Institut für Slavistik
    FS 50/50
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: French
    Media type: Book
    ISBN: 2746202662
    RVK Categories: ID 6100
    Subjects: Natürlichsprachiges System; Formale Sprache; Maschinelle Übersetzung; Französisch; Syntax; Computerlinguistik
    Scope: 359 S.
  21. International Symposium on Data and Sense Mining, Machine Translation and Controlled Languages, and their application to emergencies and safety critical domains
    july 1- 3, 2009, Centre Tesnière, University of Franche-Comté, Besançon, France
    Published: 2009
    Publisher:  Presses Univ. de Franche-Comté, Besançon

    Universitätsbibliothek Duisburg-Essen
    04Z360
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Trier
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: French
    Media type: Conference proceedings
    ISBN: 9782848672618
    Corporations / Congresses: International Symposium on Data and Sense Mining, Machine Translation and Controlled Languages, and Their Application to Emergencies and Safety Critical Domains (2009, Besançon)
    Series: BULAG ; [33]
    Subjects: Maschinelle Übersetzung; Formale Sprache; Data Mining
    Scope: XIII, 277 S., graph. Darst.
  22. Sintaksičeski orientirovannyj transljator
    Published: 1969
    Publisher:  Mir, Moskva

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: Russian
    Media type: Book
    RVK Categories: ES 960
    Subjects: Übersetzer <Informatik>; Maschinelle Übersetzung; Formale Sprache
    Scope: 174 S., graph. Darst.
    Notes:

    In kyrill. Schr., russ.

  23. Exe.cut[up]able statements
    poetische Kalküle und Phantasmen des selbstausführenden Texts
    Published: 2011
    Publisher:  Fink, München

    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Unlimited inter-library loan, copies and loan
    Universität der Künste Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Fachhochschule Potsdam, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Philologische Bibliothek, FU Berlin; Staatsbibliothek zu Berlin
    Language: German
    Media type: Dissertation
    ISBN: 9783770544998; 3770544994
    Other identifier:
    9783770544998
    RVK Categories: ET 760
    DDC Categories: 800
    Subjects: Zeichen; Sprache; Kalkül; Kombinatorik; Ästhetik; Algorithmus; Das Fantastische; Formale Sprache; Literatur
    Scope: 330 S., Ill.
    Notes:

    Zugl.: Berlin, Freie Univ., Diss., 2006

  24. A syntax-oriented translator
    Published: 1967
    Publisher:  Acad. Press, New York [u.a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    Edition: 2. print, rev.
    Subjects: Maschinelle Übersetzung; Formale Sprache; Übersetzer <Informatik>
    Scope: XI, 132 S.
    Notes:

    Literaturverz. S. 121 - 125

  25. Die Sprache der Praxis
    Grundlegung e. theoret. Wiss. über Geschichte u. Gesellschaft d. Menschen