Logik und Logikprogrammierung
Cover Logic Programming and Nonmonotonic Reasoning
Dix 
Logic Programming and Nonmonotonic …
Buch

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

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

39,99 €
Cover Parallel Execution of Logic Programs
Beaumont 
Parallel Execution of Logic Programs
Buch

39,99 €
Cover Typed Lambda Calculi and Applications
Marc Bezem / Jan F. …
Typed Lambda Calculi and Applications
Buch

39,99 €
Cover Perspectives of System Informatics
Bjorner 
Perspectives of System Informatics
Buch

39,99 €
Cover Perspectives of System Informatics
Dines Bjorner / …
Perspectives of System Informatics
Buch

77,99 €
Cover Inductive Logic Programming
Saso Dzeroski / …
Inductive Logic Programming
Buch

39,99 €
Cover Logic Program Synthesis and Transformation
Gallagher 
Logic Program Synthesis and Transformation
Buch

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

39,99 €
Cover Algebraic and Logic Programming
Jan Grabowski / …
Algebraic and Logic Programming
Buch

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

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

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

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

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

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

39,99 €
Cover Logic Programming in Action
Gerard Comyn / …
Logic Programming in Action
Buch

39,99 €
Cover Constraints in Computational Logics
Jouannaud 
Constraints in Computational Logics
Buch

39,99 €
Cover Automata, Languages and Programming
Javier Leach Albert …
Automata, Languages and Programming
Buch

77,99 €
Cover Logic Program Synthesis and Transformation - Meta-Programming in Logic
Fribourg 
Logic Program Synthesis and …
Buch

39,99 €
Cover Parallelization in Inference Systems
Bertram Fronhöfer / …
Parallelization in Inference Systems
Buch

39,99 €
Cover Automata, Languages and Programming
Fülöp 
Automata, Languages and Programming
Buch

77,99 €
Cover Inductive Logic Programming
Lavrac 
Inductive Logic Programming
Buch

39,99 €
Zur vorherigen Seite 1 Zur Seite 1 2 Aktuelle Seite 3 Zur Seite 3 4 Zur Seite 4 5 Zur Seite 5 6 Zur Seite 6...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite
Zur vorherigen Seite 1 Zur Seite 1 2 Aktuelle Seite...Weitere Seiten21Zur letzten Seite, Seite 21Zur nächsten SeiteZur letzten Seite

Fachbuch

Unterkategorien