Logics for artificial intelligence by Turner, Raymond fromEllis Horwood series in artificial intelligence 0 Type: Book
Around the tree: semantic and metaphysical issues concerning branc… by Iacona, Andrea, Correia, Fabrice fromSynthese Library (Dordrecht) 0 Type: Book
Time, tense, and american literature: when is now? by Weinstein, Cindy fromCambridge Studies in American Literature and Culture 0 Type: Book
Reasoning about change: time and causation from the standpoint of artific… by Shoham, Yoav fromMIT Press series in artificial intelligence 0 Type: Book
Systems and software verification: model-checking techniques and tools by Bidoit, Michel, Bérard, Béatrice, Finkel, Alain, McKenzie, Pierre 0 Type: Book
Outils logiques pour le traitement du temps: de la linguistique à l'intelligence artificielle by Bestougeff, Hélène, Ligozat, Gérard fromÉtudes et recherches en informatique 0 Type: Book
CONCUR 2011--concurrency theory: 22nd international conference, CONCUR 2011, Aache… by Katoen, Joost-Pieter, König, Barbara, International Conference on Concurrency Theory, Aachen, Germany) fromLecture Notes in Computer Science 0 Type: Book
Formal modeling and analysis of timed systems: 9th international conference, FORMATS 2011, Aalbo… by Fahrenberg, Uli, Tripakis, Stavros, FORMATS 2011, Aalborg, DK) fromLecture Notes in Computer Science 0 Type: Book
Specifying systems: the TLA+ language and tools for hardware and soft… by Lamport, Leslie 0 Type: Book
Temporal logic: mathematical foundations and computational aspects by Gabbay, Dov M., Reynolds, Mark, Hodkinson, Ian fromOxford logic guides 0 Type: Book
Temporal logic: mathematical foundations and computational aspects by Gabbay, Dov M., Reynolds, Mark, (Mark A.), Hodkinson, Ian fromOxford logic guides 0 Type: Book
De la logique modale à la logique des bases de données by Thayse, André fromApproche logique de l'intelligence artificielle 0 Type: Book
Logics for concurrency: structure versus automata by Moller, Faron, Birtwistle, G. M., (Graham M.) fromLecture Notes in Computer Science 0 Type: Book
