Herzlich Willkommen!
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Zur Startseite gehen
0,00 CHF*
Kategorien

Zu "Automated Reasoning" wurden 29 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
–
An Introduction to the Technique of Formative Processes in Set Theory
An Introduction to the Technique of Formative Processes in Set Theory

53,50 CHF*
Mathematical Reasoning: The History and Impact of the DReaM Group
Mathematical Reasoning: The History and Impact of the DReaM Group

171,20 CHF*
Modelling Puzzles in First Order Logic
Modelling Puzzles in First Order Logic

53,50 CHF*
Mathematical Reasoning: The History and Impact of the DReaM Group
Mathematical Reasoning: The History and Impact of the DReaM Group

171,20 CHF*
An Introduction to the Technique of Formative Processes in Set Theory
An Introduction to the Technique of Formative Processes in Set Theory

53,50 CHF*
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

107,00 CHF*
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

107,00 CHF*
Automated Deduction - CADE-15
Automated Deduction - CADE-15

53,50 CHF*
Logic Programming
Logic Programming

53,50 CHF*
Lattice-Valued Logic
Lattice-Valued Logic

160,50 CHF*
Lattice-Valued Logic
Lattice-Valued Logic

160,50 CHF*
Progress in Artificial Intelligence
Progress in Artificial Intelligence

53,50 CHF*
The Automation of Reasoning with Incomplete Information
The Automation of Reasoning with Incomplete Information

53,50 CHF*
Advances in Artificial Intelligence
Advances in Artificial Intelligence

53,50 CHF*
Proceedings of International Conference on Computational Intelligence and Data Engineering
Proceedings of International Conference on Computational Intelligence and Data Engineering

192,60 CHF*
Parallelization in Inference Systems
Parallelization in Inference Systems

53,50 CHF*
Language and Automata Theory and Applications
Language and Automata Theory and Applications

53,50 CHF*
Logical Aspects of Computational Linguistics
Logical Aspects of Computational Linguistics

53,50 CHF*
Computational Logic and Set Theory
Computational Logic and Set Theory

53,50 CHF*
Computational Logic and Set Theory
Computational Logic and Set Theory

53,50 CHF*
AI in Cybersecurity
AI in Cybersecurity

181,90 CHF*
AI in Cybersecurity
AI in Cybersecurity

181,90 CHF*
Verification, Model Checking, and Abstract Interpretation
Neu
Verification, Model Checking, and Abstract Interpretation

62,05 CHF*
Verification, Model Checking, and Abstract Interpretation
Neu
Verification, Model Checking, and Abstract Interpretation

62,05 CHF*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...