SériesApplied Logic

13 Œuvres Popularité 67,451 (55 Membres) 83 Livres 0 Critiques

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

Mots-clés