Mathematische Logik
Cover Nonmonotonic and Inductive Logic
Gerhard Brewka / …
Nonmonotonic and Inductive Logic
Broschiertes Buch

39,99 €
Cover Logic Programming '89
Koichi Furukawa / …
Logic Programming '89
Broschiertes Buch

39,99 €
Cover Temporal Logic
Gabbay 
Temporal Logic
Broschiertes Buch

77,99 €
Cover Practical Reasoning
Gabbay 
Practical Reasoning
Broschiertes Buch

77,99 €
Cover Logic Program Synthesis and Transformation
Gallagher 
Logic Program Synthesis and Transformation
Broschiertes Buch

39,99 €
Cover Automated Reasoning with Analytic Tableaux and Related Methods
Galmiche 
Automated Reasoning with Analytic …
Broschiertes Buch

39,99 €
Cover Rewriting Techniques and Applications
Ganzinger 
Rewriting Techniques and Applications
Broschiertes Buch

39,99 €
Cover Logic Programming and Automated Reasoning
Harald Ganzinger / …
Logic Programming and Automated Reasoning
Broschiertes Buch

39,99 €
Cover Automated Deduction - CADE-12
Bundy 
Automated Deduction - CADE-12
Broschiertes Buch

38,99 €
Cover Term Indexing
Peter Graf 
Term Indexing
Broschiertes Buch

39,99 €
Cover Logic Programming and Nonmonotonic Reasoning
Michael Gelfond / …
Logic Programming and Nonmonotonic …
Broschiertes Buch

39,99 €
Cover First-Order Programming Theories
Tamas Gergely, …
First-Order Programming Theories
Gebundenes Buch

77,99 €
Cover Abstract Compositional Analysis of Iterated Relations
Frederic Geurts 
Abstract Compositional Analysis of …
Broschiertes Buch

39,99 €
Cover Algebraic and Logic Programming
Hanus 
Algebraic and Logic Programming
Broschiertes Buch

39,99 €
Cover Algebraic and Logic Programming
Hanus 
Algebraic and Logic Programming
Broschiertes Buch

39,99 €
Cover Resolution Methods for the Decision Problem
C. Fermüller, Nail …
Resolution Methods for the Decision …
Broschiertes Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Jean-Yves Girard …
Typed Lambda Calculi and Applications
Broschiertes Buch

39,99 €
Cover A Resolution Principle for a Logic with Restricted Quantifiers
Hans-Jürgen …
A Resolution Principle for a Logic with …
Broschiertes Buch

39,99 €
Cover Tractable Reasoning in Aritificial Intelligence
Marco Cadoli 
Tractable Reasoning in Aritificial …
Broschiertes Buch

39,99 €
Cover Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra / …
Automated Deduction in Classical and …
Broschiertes Buch

39,99 €
Cover Executable Modal and Temporal Logics
 
Executable Modal and Temporal Logics
Broschiertes Buch

39,99 €
Cover Practical Aspects of Declarative Languages
Gopal Gupta (ed.) 
Practical Aspects of Declarative Languages
Broschiertes Buch

39,99 €
Cover Logic-Based Program Synthesis and Transformation
Pierre Flener …
Logic-Based Program Synthesis and …
Broschiertes Buch

39,99 €
Cover Computational Logic and Proof Theory
Gottlob 
Computational Logic and Proof Theory
Broschiertes Buch

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

Fachbuch

Unterkategorien