Vai al contenuto principale della pagina

Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Gabbay, Dov M. Visualizza persona
Titolo: Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach
Link to work: Temporal logic Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
Index term-Uncontrolled: Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Soggetto non controllato: Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Termine d'indicizzazione-Occupazione: Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Creatori/Collaboratori: Ohlbach, Hans J.
Accesso ente: SpringerLink (Online service)
Collana: Lecture notes in computer science, 0302-9743 ; 827
ISBN: 9783540582410
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7355242
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/BFb0013976
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer e-books