Mathematische Logik
Cover Automata, Languages, and Programming
Abiteboul 
Automata, Languages, and Programming
Broschiertes Buch

77,99 €
Cover Logical Foundations of Computer Science
Adian 
Logical Foundations of Computer Science
Broschiertes Buch

39,99 €
Cover Reasoning with Logic Programming
Jose J. Alferes, …
Reasoning with Logic Programming
Broschiertes Buch

39,99 €
Cover Types for Proofs and Programs
Thorsten Altenkirch …
Types for Proofs and Programs
Broschiertes Buch

39,99 €
Cover Temporal Logic in Specification
Banieqbal 
Temporal Logic in Specification
Broschiertes Buch

39,99 €
Cover MFDBS 89
Janos Demetrovics / …
MFDBS 89
Broschiertes Buch

39,99 €
Cover The Analysis of Concurrent Systems
Denvir 
The Analysis of Concurrent Systems
Broschiertes Buch

39,99 €
Cover Attribute Grammars and their Applications
Pierre Deransart / …
Attribute Grammars and their Applications
Broschiertes Buch

39,99 €
Cover Programming Languages Implementation and Logic Programming
Pierre Deransart / …
Programming Languages Implementation …
Broschiertes Buch

39,99 €
Cover Programming Language Implementation and Logic Programming
Pierre Deransart / …
Programming Language Implementation and …
Broschiertes Buch

39,99 €
Cover Rewriting Techniques and Applications
Nachum Dershowitz …
Rewriting Techniques and Applications
Broschiertes Buch

39,99 €
Cover Conditional and Typed Rewriting Systems
Dershowitz 
Conditional and Typed Rewriting Systems
Broschiertes Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Dezani-Ciancaglini&n …
Typed Lambda Calculi and Applications
Broschiertes Buch

39,99 €
Cover Non-Monotonic Extensions of Logic Programming
Dix 
Non-Monotonic Extensions of Logic …
Broschiertes Buch

39,99 €
Cover Logics in Artificial Intelligence
 
Logics in Artificial Intelligence
Broschiertes Buch

39,99 €
Cover Logic Programming and Nonmonotonic Reasoning
Dix 
Logic Programming and Nonmonotonic …
Broschiertes Buch

39,99 €
Cover Nonmonotonic and Inductive Logic
Jürgen Dix / Klaus …
Nonmonotonic and Inductive Logic
Broschiertes Buch

39,99 €
Cover Logic Programming and Knowledge Representation
Dix 
Logic Programming and Knowledge …
Broschiertes Buch

39,99 €
Cover Non-Monotonic Extensions of Logic Programming
Dix 
Non-Monotonic Extensions of Logic …
Broschiertes Buch

39,99 €
Cover Theory of Computing and Systems
Danny Dolev / Zvi …
Theory of Computing and Systems
Broschiertes Buch

39,99 €
Cover Logic and Algebra of Specification
Bauer 
Logic and Algebra of Specification
Gebundenes Buch

115,99 €
Cover Theory Reasoning in Connection Calculi
Peter Baumgartner 
Theory Reasoning in Connection Calculi
Broschiertes Buch

39,99 €
Cover Theorem Proving in Higher Order Logics
Yves Bertot / Gilles …
Theorem Proving in Higher Order Logics
Broschiertes Buch

39,99 €
Cover Theorem Proving with Analytic Tableaux and Related Methods
Baumgartner 
Theorem Proving with Analytic Tableaux …
Broschiertes Buch

39,99 €
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 5 Zur Seite 5 6 Zur Seite 6 7 Zur Seite 7 8 Aktuelle Seite 9 Zur Seite 9 10 Zur Seite 10...Weitere Seiten14Zur letzten Seite, Seite 14Zur nächsten SeiteZur letzten Seite
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 7 Zur Seite 7 8 Aktuelle Seite...Weitere Seiten14Zur letzten Seite, Seite 14Zur nächsten SeiteZur letzten Seite

Fachbuch

Unterkategorien