Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Applied Logic Series

Rasta: 60
  1. 1
  2. 2
A Textbook of Belief Dynamics: Theory Change and Database Updating
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Dynamic Worlds: From the Frame Problem to Knowledge Management
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
What is Negation?
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Foundations of Rational Agency
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Fuzzy Sets, Logics and Reasoning about Knowledge
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Advances in Temporal Logic
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Abduction and Induction: Essays on their Relation and Integration
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Formal Aspects of Context
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Goal-Directed Proof Theory
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Frontiers in Belief Revision
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
New Essays in Free Logic: In Honour of Karel Lambert
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Foundations of Bayesianism
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
The Semantics and Proof Theory of the Logic of Bunched Implications
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
-15% su kodu: ENG15
126,21 
148,48 
Išsiųsime per 11-15 d. d.
Thirty Five Years of Automating Mathematics
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
A Modern Perspective on Type Theory: From its Origins until Today
-15% su kodu: ENG15
187,17 
220,20 
Išsiųsime per 11-15 d. d.
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Automated Model Building
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
The Death of Argument: Fallacies in Agent Based Reasoning
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Reasoning Robots: The Art and Science of Programming Robotic Agents
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Advances in Intensional Logic
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Proof Theory for Fuzzy Logics
-15% su kodu: ENG15
172,77 
203,26 
Išsiųsime per 11-15 d. d.
Rigid Flexibility: The Logic of Intelligence
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Hybrid Logic and its Proof-Theory
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Labelled Deduction
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Logic, Language and Computation
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Multi-Dimensional Modal Logic
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Frontiers of Combining Systems: First International Workshop, Munich, March 1996
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 60
  1. 1
  2. 2