Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
|
Schulbücher |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: Hannes Leitgeb / Einband: Kartoniert |
|
|
|
|
|
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
|
Schulbücher |
202.00 |
|
Buch |
Sprache:
Englisch / Autor: Dov M Gabbay / Einband: Gebunden |
|
|
|
|
|
Automated Model Building
|
Philosophie |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: Alexander Leitsch / Einband: Kartoniert |
|
|
|
|
|
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
|
Naturwissensch., Medizin, Technik |
207.00 |
|
Buch |
Sprache:
Englisch / Autor: Hannes Leitgeb / Einband: Gebunden |
|
|
|
|
|
Frontiers in Belief Revision
|
EDV / Informatik |
188.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Frontiers in Belief Revision
|
EDV / Informatik |
188.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
The Death of Argument: Fallacies in Agent Based Reasoning
|
Philosophie |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: J. H. Woods / Einband: Kartoniert |
|
|
|
|
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
|
Schulbücher |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Peter B. Andrews / Einband: Kartoniert |
|
|
|
|
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
|
Schulbücher |
168.00 |
|
Buch |
Sprache:
Englisch / Autor: Peter B. Andrews / Einband: Gebunden |
|
|
|
|
|
A Modern Perspective on Type Theory: From its Origins until Today
|
Schulbücher |
215.00 |
|
Buch |
Sprache:
Englisch / Autor: F. D. Kamareddine / Einband: Gebunden |
|
|
|
|
|
The Semantics and Proof Theory of the Logic of Bunched Implications
|
Schulbücher |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: David J. Pym / Einband: Gebunden |
|
|
|
|
|
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
|
Schulbücher |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: Dov M. Gabbay / Einband: Kartoniert |
|
|
|
|
|
Automated Model Building
|
Philosophie |
205.00 |
|
Buch |
Sprache:
Englisch / Autor: Alexander Leitsch / Einband: Gebunden |
|
|
|
|
|
Reasoning Robots: The Art and Science of Programming Robotic Agents
|
Philosophie |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Michael Thielscher / Einband: Kartoniert |
|
|
|
|
|
Rigid Flexibility: The Logic of Intelligence
|
Psychologie / Pädagogik |
252.00 |
|
Buch |
Sprache:
Englisch / Autor: Pei Wang / Einband: Gebunden |
|
|
|
|
|
Foundations of Bayesianism
|
Philosophie |
188.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Proof Theory for Fuzzy Logics
|
Schulbücher |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Dov M. Gabbay / Einband: Gebunden |
|
|
|
|
|
Reasoning Robots: The Art and Science of Programming Robotic Agents
|
EDV / Informatik |
74.00 |
|
Buch |
Sprache:
Englisch / Autor: Michael Thielscher / Einband: Gebunden |
|
|
|
|
|
Logical and Computational Aspects of Model-Based Reasoning
|
Schulbücher |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Thirty Five Years of Automating Mathematics
|
Schulbücher |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
A Modern Perspective on Type Theory: From its Origins until Today
|
Schulbücher |
199.00 |
|
Buch |
Sprache:
Englisch / Autor: Rob Nederpelt / Einband: Kartoniert |
|
|
|
|
|
Proof Theory for Fuzzy Logics
|
Schulbücher |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Dov M. Gabbay / Einband: Kartoniert |
|
|
|
| / 2 |