Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 82 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 82.

Sortieren

  1. Computational linguistics and formal semantics
    Autor*in:
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge [u. a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rosner, Michael
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 052141959X; 0521429889
    RVK Klassifikation: ES 900
    Schriftenreihe: Studies in natural language processing
    Schlagworte: Computerlinguistik; Formale Semantik; Semantik
    Umfang: XIX, 321 S., graph. Darst.
  2. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  CSLI Publications, Stanford, Calif.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1575864053; 1575864061
    RVK Klassifikation: ES 930
    Schriftenreihe: CSLI lecture notes ; 141
    Schlagworte: Communication visuelle; Langage et logique; Linguistique informatique; Logica; Logigrammes; Raisonnement; Redeneren; Sémantique (Philosophie); Logik; Computational linguistics; Language and logic; Logic diagrams; Reasoning; Semantics (Philosophy); Visual communication; Sprachlogik; Formale Semantik; Diagrammatisches Schließen; Künstliche Intelligenz
    Umfang: X, 276 p., Ill. : 24 cm
    Bemerkung(en):

    Includes bibliographical references and index
  3. Quantifiers, pronouns, and cross–linguistic variation
    Autor*in: Mucha, Anne
    Erschienen: 2016
    Verlag:  Institut für Deutsche Sprache, Bibliothek, Mannheim

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Germanische Sprachen; Deutsch (430)
    Schlagworte: Tempus; Präteritum; Formale Semantik
    Weitere Schlagworte: Zeitsemantik
    Umfang: Online-Ressource
    Bemerkung(en):

    In: Annual Meeting of XPrag.de 2016 (Tübingen). - Berlin : DFG Schwerpunktprogramm 1727 (XPrag.de), Zentrum für Allgemeine Sprachwissenschaft (ZAS), 2016.
  4. Manner modification of states
    Autor*in: Geuder, Wilhelm
    Erschienen: 2006
    Verlag:  Universitätsbibliothek Johann Christian Senckenberg, Frankfurt am Main

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Literaturen germanischer Sprachen; Deutsche Literatur (830)
    Schlagworte: Formale Semantik; Ereignissemantik; Deutsch
    Umfang: Online-Ressource
    Bemerkung(en):

    In: Proceedings of the Sinn und Bedeutung 10 : 10th annual meeting of the Gesellschaft für Semantik, October 13 - 15, 2005, Zentrum für Allgemeine Sprachwissenschaft, Berlin; ZASPil Vol. 44, S. 111-124
  5. Logic, language, and computation
    10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23 - 27, 2013 ; revised selected papers
    Autor*in:
    Erschienen: 2015
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Aher, Martin
    Sprache: Englisch
    Medientyp: Konferenzschrift
    ISBN: 9783662469057; 9783662469064
    RVK Klassifikation: SS 4800 ; ES 900
    Körperschaften/Kongresse: International Tbilisi Symposium on Logic, Language, and Computation, 10. (2013, Gudauri)
    Schriftenreihe: Lecture notes in computer science ; 8984
    Schlagworte: Berechnungstheorie; Logik; Natürliche Sprache; Formale Semantik; Computerlinguistik
    Umfang: XIV, 332 S., Ill., graph. Darst.
  6. Boys buying two sausages each
    on the syntax and semantics of distance-distributivity
    Autor*in: Zimmermann, Malte
    Erschienen: 2002
    Verlag:  LOT, Utrecht

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Dissertation
    ISBN: 9076864233
    Schriftenreihe: LOT / Netherlands Graduate School of Linguistics ; 62
    Schlagworte: Semantiek; Syntaxis; Deutsch; Grammatik; Semantik; Syntax; German language; German language; Grammar, Comparative and general; Jeweils (The German word); Semantics, Comparative; Nominalphrase; Adverb; Syntax; Deutsch; Quantor; Formale Semantik
    Umfang: XII, 311 S.
    Bemerkung(en):

    Amsterdam, Univ., Diss., 2002
  7. Computational linguistics and formal semantics
    Autor*in:
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rosner, Michael (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 052141959X; 0521429889
    RVK Klassifikation: ES 900 ; ST 306
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Studies in natural language processing
    Schlagworte: Computerlinguïstiek; Linguistique informatique; Semantiek; Sémantique; Semantik; Computational linguistics; Semantics; Semantik; Computerlinguistik; Formale Semantik
    Umfang: XIX, 321 S.
  8. The logical structure of English
    computing semantic content
    Autor*in: Ramsay, Allan
    Erschienen: 1990
    Verlag:  Pitman, London

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0273032879
    RVK Klassifikation: ES 940 ; HF 421 ; HE 100
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Grammatik; Grammar, Comparative and general; Language and logic; Computerlinguistik; Syntax; Semantik; Formale Semantik; Englisch; Logik
    Umfang: 209 S.
  9. The NP-strategy for expressing reciprocity
    typology, history, syntax and semantics
    Autor*in: Bar-Asher Siegal, Elitzur A.
    Erschienen: [2020]
    Verlag:  John Benjamins Publishing Company, Amsterdam ; Philadelphia

    The types of constructions and their origin -- The diachronic development from a two-unit to a one-unit construction -- Relics as a syntactic category : Modern Hebrew and Italian constructions as frozen formulae -- Heterogeneity : languages with more... mehr

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

     

    The types of constructions and their origin -- The diachronic development from a two-unit to a one-unit construction -- Relics as a syntactic category : Modern Hebrew and Italian constructions as frozen formulae -- Heterogeneity : languages with more than one NP-strategy construction -- Changing meaning of the NP-strategy constructions -- A comparative linguistics study of NP-strategy constructions -- The basic meaning of the NP-strategy for expressing reciprocity -- Specifying the meaning of the NP-strategy through context "This book provides a comprehensive treatment of the syntax and semantics of a single linguistic phenomenon - the NP-strategy for expressing reciprocity - in synchronic, diachronic, and typological perspectives. It challenges the assumption common in the typological, syntactic, and semantic literature, namely that so-called reciprocal constructions encode symmetric relations. Instead, they are analyzed as constructions encoding unspecified relations. In effect, it provides a new proposal for the truth-conditional semantics of these constructions. More broadly, this book introduces new ways of bringing together historical linguistics and formal semantics, demonstrating how, on the one hand, the inclusion of historical data concerning the sources of reciprocal constructions enriches their synchronic analysis; and how, on the other hand, an analysis of the syntax and the semantics of these constructions serves as a key for understanding their historical origins."

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9789027204783
    RVK Klassifikation: ES 480
    Schriftenreihe: Typological studies in language ; volume 127
    Schlagworte: Syntax; Reziprozität <Linguistik>; Semantik; Formale Semantik; Sprachtypologie; Historische Sprachwissenschaft
    Weitere Schlagworte: Grammar, Comparative and general / Reciprocals
    Umfang: xv, 291 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    Includes bibliographical references and index
  10. A lexical approach to presupposition and meaning
    Autor*in: Yee, Charles Woei-Jye
    Erschienen: 2011

    Standort:
    Universitätsbibliothek Braunschweig
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Bibliothek der Hochschule Hannover
    Fernleihe:
    keine Fernleihe
    Standort:
    Bibliothek im Kurt-Schwitters-Forum
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Zentrale Hochschulbibliothek Lübeck
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Stuttgart
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (Kostenfrei)
    Volltext (kostenfrei)
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Dissertation
    Format: Online
    Weitere Identifier:
    Schlagworte: Definitheit; Voraussetzung; Kontext; Superlativ; Formale Semantik; Ordinalzahl; Numerale
    Umfang: Online-Ressource
    Bemerkung(en):

    Stuttgart, Univ., Diss., 2010
  11. Computing meaning
    Autor*in:
    Verlag:  Springer, Dordrecht [u.a.]

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Bunt, Harry (Hrsg.); Muskens, Reinhard (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: CC 4800 ; ES 900
    Schlagworte: Computerlinguistik; Semantik; Formale Semantik
    Bemerkung(en):

    Bd. 1-2 im Verl. Kluwer, Dordrecht erschienen

    Bd. 1-3 mit dem Gesamtt.: Studies in linguistics and philosophy. - Ab Bd. 4 mit dem Gesamtt.: Text, speech and language technology
  12. Computational linguistics and formal semantics
    Autor*in:
    Erschienen: 1992
    Verlag:  Cambridge Univ. Press, Cambridge [u.a.]

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    12.544.73
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    Signatur:
    LIN-ALLG 60.10 Compu 1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH Germ CL 5 / 74.28
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Spr CK 0157
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    166.969
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Anglistik/ Amerikanistik
    Signatur:
    V COM-3
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ES 900 R822
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rosner, Michael (Hrsg.); Johnson, Roderick (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 052141959X; 0521429889
    RVK Klassifikation: ES 900 ; ET 440 ; ST 306
    Schriftenreihe: Studies in natural language processing
    Schlagworte: Computerlinguistik; Formale Semantik; Semantik
    Umfang: XIX, 321 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 301 - 321
  13. Textures of time
    Autor*in: Rathert, Monika
    Erschienen: 2004
    Verlag:  Akad.-Verl., Berlin

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.340.04
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 82 - R 22
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ET 675 R234
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3050040742
    Weitere Identifier:
    9783050040745
    RVK Klassifikation: ES 460 ; ET 675 ; GC 7072 ; HF 280
    DDC Klassifikation: Englisch, Altenglisch (420); Germanische Sprachen; Deutsch (430)
    Schriftenreihe: Studia grammatica ; 59
    Schlagworte: Englisch; Präsentisches Perfekt; Temporaladverb; Deutsch; Perfekt; Aspekt <Linguistik>; Adverb; Formale Semantik
    Umfang: 250 S., graph. Darst.
  14. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  Univ., Center for the Study of Language and Information, Stanford, Calif.

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.175.72
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave (Hrsg.); Beaver, David I. (Hrsg.); Benthem, Johan van (Hrsg.); Scotto di Luzio, Patrick (Mitarb.); Aiello, Marco (Mitarb.); Fisler, Kathi (Mitarb.); Lemon, Oliver (Mitarb.); Grünwald, Peter (Mitarb.); Koller, Alexander (Mitarb.); Niehren, Joachim (Mitarb.); Paiva, Valeria de (Mitarb.); Tiede, Hans-Joerg (Mitarb.); Aloni, Maria (Mitarb.); Stokhof, M. J. B. (Mitarb.); Westerståhl, Dag (Mitarb.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1575864061; 1575864053
    RVK Klassifikation: ES 930
    Schriftenreihe: CSLI lecture notes ; 141
    Schlagworte: Diagrammatisches Schließen; Formale Semantik; Künstliche Intelligenz; Sprachlogik
    Umfang: X, 276 S.
  15. Boys buying two sausages each
    on the syntax and semantics of distance-distributivity
    Autor*in: Zimmermann, Malte
    Erschienen: 2002
    Verlag:  Landelijke Onderzoekschool Taalwetenschap, LOT, Utrecht

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.177.67
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 9076864233
    Schriftenreihe: LOT international series ; 62
    Schlagworte: Deutsch; Nominalphrase; Formale Semantik; Syntax; Adverb; Quantor
    Umfang: XII, 311 S., graph. Darst.
    Bemerkung(en):

    Zugl.: Amsterdam, Univ., Diss., 2002
  16. Semantics
    Autor*in:
    Erschienen: 2002
    Verlag:  Buske, Hamburg

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    -003-/GC 1843 H224
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.140.95
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    Signatur:
    01/ET 400 H224
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    Signatur:
    Z 207 - Sonderh. 10
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH spr Z: Linguistische ...
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Gießen, Bibliothek Germanistik
    Signatur:
    Z 08.33 -Sdh.10-
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Gießen, Fachbibliothek Romanistik
    Signatur:
    Za 132 (Sonderh. 10)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Spr CN 0176
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 82 - S 457
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Beh 2002/1,1.Ex.
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Beh 2002/1,2.Ex.
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ET 400 H224
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    Signatur:
    60 02 A 574
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hamm, Fritz (Hrsg.); Zimmermann, Thomas Ede (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3875482530
    RVK Klassifikation: ET 400 ; ET 750 ; GC 1843
    Schriftenreihe: Linguistische Berichte. Sonderheft ; 10
    Schlagworte: Semantik; Formale Semantik; Referenzsemantik; Diskursrepräsentationstheorie; Sprachlogik; Semasiologie
    Umfang: 244 S., graph. Darst., 24 cm
    Bemerkung(en):

    Literaturangaben
  17. Linguistic form and its computation
    Autor*in:
    Erschienen: 2001
    Verlag:  CLSI Publ., Stanford, Calif.

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.148.06
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rohrer, Christian (Hrsg.); Roßdeutscher, Antje (Hrsg.); Kamp, Hans (Hrsg.); Michaelis, Jens (Mitarb.); Mönnich, Uwe (Mitarb.); Morawietz, Frank (Mitarb.); Stabler, Edward P. (Mitarb.); Kuhn, Jonas (Mitarb.); Schulte im Walde, Sabine (Mitarb.); Schmid, Helmut (Mitarb.); Rooth, Mats (Mitarb.); Riezler, Stefan (Mitarb.); Prescher, Detlef (Mitarb.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1575863596; 157586357X
    RVK Klassifikation: ES 900
    Schriftenreihe: Studies in computational linguistics
    Schlagworte: Computerlinguistik; Grammatiktheorie; Formale Semantik; Formale Grammatik; Pragmatik; Syntax
    Umfang: VI, 452 S.
  18. How we say when it happens
    contributions to the theory of temporal reference in natural language
    Autor*in:
    Erschienen: 2002
    Verlag:  Niemeyer, Tübigen

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.145.22
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    Signatur:
    01/ET 660 K15
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH Germ SP 2.4 / 43.087
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ET 660 K15
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 IZA SA 97 ZA
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Kamp, Hans (Hrsg.); Reyle, Uwe (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3484304553
    RVK Klassifikation: ET 660
    Schriftenreihe: Linguistische Arbeiten ; 455
    Schlagworte: Deutsch; Temporalität; Aspekt <Linguistik>; Englisch; Französisch; Tempus; Formale Semantik
    Umfang: VIII, 280 S., graph. Darst., 24 cm
    Bemerkung(en):

    Literaturangaben
  19. The interfaces
    deriving and interpreting omitted structures
    Autor*in:
    Erschienen: 2003
    Verlag:  Benjamins, Amsterdam [u.a.]

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.212.76
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schwabe, Kerstin (Hrsg.); Winkler, Susanne (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9027227845; 1588113302
    RVK Klassifikation: ET 665
    Schriftenreihe: Linguistik aktuell ; 61
    Schlagworte: Deutsch; Englisch; Syntax; Formale Semantik; Minimalist program <Linguistik>; Ellipse <Linguistik>; Gapping; Logische Form <Linguistik>; Bewegung <Linguistik>; Thema-Rhema-Gliederung
    Umfang: VI, 399 S.
  20. Combinatorial semantics and idiomatic expressions in head-driven phrase structure grammar
    Autor*in: Sailer, Manfred
    Erschienen: 2003
    Verlag:  Univ., Sonderforschungsbereich 340 [u.a.], Stuttgart

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    87.600.97
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Dissertation
    Format: Druck
    RVK Klassifikation: ES 965
    DDC Klassifikation: Sprache (400); Datenverarbeitung; Informatik (004)
    Schriftenreihe: Arbeitspapiere des Sonderforschungsbereichs 340 "Sprachtheoretische Grundlagen für die Computerlinguistik" ; 161
    Schlagworte: Deutsch; Computerlinguistik; Phraseologie; Formale Semantik; Modelltheoretische Semantik; Head-driven phrase structure grammar
    Umfang: V, 411 S., graph. Darst., 21 cm
    Bemerkung(en):

    Auch im Internet unter der Adresse www.ims.uni-stuttgart.de/projekte/SFB340.html verfügbar

    Zugl.:Tübingen, Univ., Diss., 2000
  21. The Cambridge handbook of formal semantics
    Autor*in:
    Erschienen: July 2016
    Verlag:  Cambridge University Press, Cambridge

    Zugang:

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Frankfurt, Elektronische Ressourcen
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Aloni, Maria (Herausgeber); Dekker, Paul (Herausgeber)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781139236157
    Weitere Identifier:
    RVK Klassifikation: ES 920
    Schriftenreihe: Cambridge handbooks in language and linguistics
    Schlagworte: Semantik; Formale Semantik
    Umfang: 1 Online-Ressource (xii, 925 Seiten), Illustrationen
    Bemerkung(en):

    Literaturverzeichnis: Seite 801-915
  22. Textures of Time
    Autor*in: Rathert, Monika
    Erschienen: 2004
    Verlag:  De Gruyter, Berlin/Boston ; ProQuest, Ann Arbor, Michigan

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Frankfurt, Elektronische Ressourcen
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783050084015
    RVK Klassifikation: ES 460 ; ET 675 ; GC 7072 ; HF 280
    DDC Klassifikation: Germanische Sprachen; Deutsch (430); Englisch, Altenglisch (420)
    Schriftenreihe: Studia grammatica ; v.59
    Schlagworte: Englisch; Perfekt; Aspekt <Linguistik>; Adverb; Formale Semantik; Präsentisches Perfekt; Temporaladverb; Deutsch
    Umfang: 1 Online-Ressource (250 pages)
    Bemerkung(en):

    Description based on publisher supplied metadata and other sources
  23. The Interfaces
    deriving and interpreting omitted structures
    Autor*in:
    Erschienen: 2002
    Verlag:  J. Benjamins Pub.Co., Amsterdam [u.a.] ; [ProQuest], [Ann Arbor, Michigan]

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Frankfurt, Elektronische Ressourcen
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Schwabe, Kerstin; Winkler, Susanne
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Online
    RVK Klassifikation: ET 665
    Schriftenreihe: Linguistik aktuell = ; 61
    Schlagworte: Deutsch; Englisch; Syntax; Formale Semantik; Minimalist program <Linguistik>; Ellipse <Linguistik>; Gapping; Logische Form <Linguistik>; Bewegung <Linguistik>; Thema-Rhema-Gliederung
    Umfang: vi, 399 p.
    Bemerkung(en):

    Includes bibliographical references and indexes
  24. The Cambridge handbook of formal semantics
    Autor*in:
    Erschienen: 2016
    Verlag:  Cambridge University Press, Cambridge

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    Q 90.861.73
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Spr CN 0074
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    070 8 2016/06621
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ES 920 A454
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Aloni, Maria (Herausgeber); Dekker, Paul (Herausgeber)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9781107028395
    RVK Klassifikation: ES 920
    Schriftenreihe: Cambridge handbooks in language and linguistics
    Schlagworte: Semantik; Formale Semantik
    Umfang: xii, 925 Seiten
    Bemerkung(en):

    Literaturverzeichnis: Seite [801]-915
  25. The logical structure of English
    computing semantic content
    Autor*in: Ramsay, Allan
    Erschienen: 1990
    Verlag:  Pitman, London

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0273032879
    RVK Klassifikation: ES 940 ; HF 421 ; HE 100
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Grammatik; Grammar, Comparative and general; Language and logic; Computerlinguistik; Syntax; Semantik; Formale Semantik; Englisch; Logik
    Umfang: 209 S.