SerierApplied Logic

13 Værker Popularitet 67,062 (55 Medlemmer) 83 Bøger 0 Anmeldelser

Multi-Dimensional Modal Logic by Maarten Marx 4 eksemplarer	Order:4
Proof Theory and Automated Deduction (Applied Logic Series) by Jean Goubault-Larrecq 0 eksemplarer	Order:6
Abduction and Induction: Essays on their Relation and Integration by Peter A. Flach 3 eksemplarer	Order:18
Intellectics and computational logic : papers in honor of Wolfgang Bibel by W. Bibel 1 eksemplar	Order:19
Foundations of Bayesianism by David Corfield 3 eksemplarer	Order:24
Logical and Computational Aspects of Model-based Reasoning (Applied Logic) by Lorenzo Magnani 5 eksemplarer	Order:25
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews 30 eksemplarer	Order:27
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series) by F.D. Kamareddine 3 eksemplarer	Order:29
Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series) by Michael Thielscher 5 eksemplarer	Order:33
Rigid Flexibility: The Logic of Intelligence by Pei Wang 2 eksemplarer	Order:34
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series) by Walter Carnielli 9 eksemplarer	Order:35
Proof Theory for Fuzzy Logics (Applied Logic Series) by George Metcalfe 6 eksemplarer	Order:36
Hybrid Logic and its Proof-Theory (Applied Logic Series) by Torben Braüner 2 eksemplarer	Order:37

Nøgleord