Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)

Temporal Logic To Artificial Intelligence
Wo zu kaufen (2) Eigenschaften
Gesponsert
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)
Medimops DE
139.98 EUR
Preis aktualisiert am: 29-10-2026 01:13:46
Siehe Produktangebot
Gesponsert
Temporal Logic
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 28-10-2026 06:20:01
Siehe Produktangebot

Allgemein

Marke
Peter Øhrstrøm
ISBN
Peter Øhrstrøm 0792335864

Eigenschaften

Ähnliche Produkte

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Aus152.06 EUR 4
Produkt anzeigen
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Aus71.98 EUR 4
Produkt anzeigen
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Aus41.52 EUR 3
Produkt anzeigen
Piterman, Nir: Extending Temporal Logic with Omega-automata
Piterman, Nir: Extending Temporal Logic with Omega-automata
Aus48.99 EUR 2
Produkt anzeigen
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Aus128.39 EUR 2
Produkt anzeigen
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Aus159.34 EUR 2
Produkt anzeigen
Menü