Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings / Dov M. Gabbay ... (eds.)

ICTL ; 1 (Bonn) : 1994.07.11-14

Englisch

Berlin [u.a.] : Springer, 1994

Online-Ressource (XI, 545 S.)

Konferenzschrift; Aufsatzsammlung

Literaturangaben

Druckausg.: Gabbay, Dov M. *1945-*: Temporal logic. - Berlin : Springer, 1994. - XI, 545 S

Weitere Ausgaben: 3-540-58241-X (Druckausgabe), 978-3-540-58241-0 (Druckausgabe)

DOI: 10.1007/BFb0013976

*Kongress

*Temporale Logik

*Computer science ; Logic design ; Database management ; Artificial intelligence ; Logic, Symbolic and mathematical

*Mathematical Logic and Formal Languages ; Computer Science ; Mathematical Logic and Foundations ; Logics and Meanings of Programs ; Artificial Intelligence (incl. Robotics) ; Database Management

Klassifikation der Library of Congress: QA76.6

Dewey Dezimal-Klassifikation: 511.3;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Regensburger Verbund-Klassifikation: CC 2400: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Einführungen, Handbücher, Sammelbände und Bibliografien

Regensburger Verbund-Klassifikation: CC 2500: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Philosophische Logik

Regensburger Verbund-Klassifikation: SS 1994: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 1800-SS 2100 Kongressberichte / Veranstaltungsjahr 1994

Regensburger Verbund-Klassifikation: ST 125: SQ-SU Informatik / ST Monografien / ST 120-ST 140 Grundlagen der Informatik / Schaltungstheorie, Rechnerarithmetik, Logik

Mathematics Subject Classification: *03-06

Mathematics Subject Classification: 68-06

Mathematics Subject Classification: 00B25

Mathematics Subject Classification: 03B45

Mathematics Subject Classification: 68T27

Mathematics Subject Classification: 68N01

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

https://zbmath.org/?q=an:0875.03007 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.