Ihre Suche erzielte 9 Treffer.

Ergebnisse
	1.	Formal semantics and pragmatics for natural languages ed. by F. Guenthner and S. J. Schmidt von Guenthner, Franz, 1946- [Hrsg.] Schmidt, S. J [oth] Reihen: Classic titles in linguistics \| ; 400 \| Synthese <Dordrecht> / Language library ; 4 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1979 Online-Ressourcen: Cover Formal semantics and pragmatics for natural languages Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SLL 4. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	The logic of time a model-theoretic investigation into the varities of temporal ontology and temporal discourse J. F. A. K. van Benthem von Benthem, Johan van, 1949- [aut] Benthem, Johan van, 1949- [oth] Reihen: ; 15600 \| Synthese <Dordrecht> / Library ; 15600 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel c 1983 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BEN j2 1982:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	The logic of time a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Johan van Benthem von Benthem, Johan van, 1949- [VerfasserIn] Reihen: ; 156,2 \| Synthese <Dordrecht> / Library ; 15600 Auflage: Second edition Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht Boston London Kluwer Academic Publishers [1991]Copyright-Datum: © 1991 Online-Ressourcen: Zentralblatt MATH Inhaltstext Cover Autorenbiografie Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BEN j2 1991:2 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Specifying message passing and time-critical systems with temporal logic Ron Koymans von Koymans, Ronald L [aut] Reihen: ; 65100 \| Lecture notes in computer science ; 651 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992 Hochschulschriftenvermerk: Teilw. zugl.: Eindhoven, Univ., Diss., 1989 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 651. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Temporal logic from ancient ideas to artificial intelligence by Peter Øhrstrøm and Per F. V. Hasle von Øhrstrøm, Peter [aut] Hasle, Per F. V [aut] Reihen: ; 5700 \| Studies in linguistics and philosophy ; 57 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Acad. Press 1995 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description Table of contents only Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SLAP 57, ... Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Aspects of philosophical logic some logical forays into central notions of linguistics and philosophy ed. by Uwe Mönnich. Workshop on Formal Semantics of Natural Languages <1977, Tübingen> von Mönnich, Uwe, 1939- [Hrsg.] Benthem, Johan van, 1949- [oth] Workshop on Formal Semantics of Natural Languages 1977 Tübingen [oth] Reihen: ; 14700 \| Synthese <Dordrecht> / Library ; 14700 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1981 Online-Ressourcen: Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MÖN u 1981:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Time, tense, and quantifiers proceedings of the Stuttgart Conference on the Logic of Tense and Quantification ed. by Christian Rohrer von Rohrer, Christian, 1938- [Hrsg.] Conference on the Logic of Tense and Quantification 1979 Stuttgart [oth] Reihen: ; 8300 \| Linguistische Arbeiten ; 83 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Tübingen Niemeyer 1980 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LA 83. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	German temporal semantics three-dimensional tense logic and a GPSG fragment John A. Nerbonne von Nerbonne, John [aut] Nerbonne, John A [oth] Reihen: Outstanding dissertations in linguistics Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York [u.a.] Garland Publ. 1985 Hochschulschriftenvermerk: Zugl.: Columbus, Ohio State Univ., Diss., 1983 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NER j 1985:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Temporal logic and state systems Fred Kröger; Stephan Merz von Kröger, Fred, 1945- [aut] Merz, Stephan [aut] Reihen: Texts in theoretical computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg Springer 2008 Online-Ressourcen: Kapitel 1 Einführung/Vorwort Cover Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KRÖ f 2008:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha