-
Finite Model Theory and Its Applications
EbookSofort lieferbarThis book gives a broad overview of core topics...
-
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
EbookSofort lieferbarThe IFIP TC6 WG 6.1 Joint International Confere...
-
Finite Model Theory and Its Applications
BuchPrint on DemandFinite model theory,as understoodhere, is an ar...
-
Database Theory - ICDT ’95
TaschenbuchPrint on DemandThis volume presents the proceedings of the 199...
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
TaschenbuchPrint on DemandThe IFIP TC6 WG 6.1 Joint International Confere...
-
Computer Aided Verification
TaschenbuchPrint on DemandThis book consitutes the refereed proceedings o...
-
Finite Model Theory and Its Applications
TaschenbuchPrint on DemandFinite model theory,as understoodhere, is an ar...
-
Logic for Programming, Artificial Intelligence, and Reasoning
TaschenbuchPrint on DemandThisvolumecontainsthepaperspresentedattheTenthI...
-
Reasoning About Knowledge
TaschenbuchBesorgungstitel - wird vorgemerktProvides a general discussion of approaches to ...
- 1
Folgen Sie uns auf:
