What is Negation?
Editat de Dov M. Gabbay et al.
31 mar 1999
Hardback
Preț: 1230.22 lei 1500.28 lei
6-8 săpt.
-18%
Applied Logic Series
Fallacies Arising from Ambiguity
Autor Douglas Walton
31 aug 1996
Hardback
Preț: 1222.57 lei 1490.93 lei
6-8 săpt.
-18%
Analysis and Synthesis of Logics
Autor Walter Carnielli et al.
22 noi 2010
Paperback
Preț: 965.07 lei 1176.91 lei
6-8 săpt.
-18%
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Editat de Wolfgang Bibel et al.
30 iun 1998
Hardback
Preț: 957.51 lei 1196.89 lei
6-8 săpt.
-20%
Advances in Temporal Logic
Editat de Howard Barringer et al.
31 dec 1999
Hardback
Preț: 962.91 lei 1174.28 lei
6-8 săpt.
-18%
Fuzzy Sets, Logics and Reasoning about Knowledge
Editat de Didier Dubois et al.
30 sep 1999
Hardback
Preț: 961.47 lei 1172.53 lei
6-8 săpt.
-18%
Foundations of Bayesianism
Editat de D. Corfield et al.
31 dec 2001
Hardback
Preț: 960.97 lei 1171.92 lei
6-8 săpt.
-18%
The Death of Argument
Autor J. H. Woods
15 dec 2010
Paperback
Preț: 955.07 lei 1164.71 lei
6-8 săpt.
-18%
A Textbook of Belief Dynamics
Autor Sven Ove Hansson
31 mar 1999
Paperback
Preț: 954.50 lei 1164.02 lei
6-8 săpt.
-18%
Intellectics and Computational Logic
Editat de Steffen Hölldobler
15 dec 2010
Paperback
Preț: 954.08 lei 1163.51 lei
6-8 săpt.
-18%
Automated Model Building
Autor Ricardo Caferra et al.
13 sep 2004
Hardback
Preț: 957.31 lei 1167.44 lei
6-8 săpt.
-18%
Proof Theory of Modal Logic
Editat de Heinrich Wansing
31 oct 1996
Hardback
Preț: 955.89 lei 1165.72 lei
6-8 săpt.
-18%
Advances in Intensional Logic
Editat de Maarten De Rijke
6 dec 2010
Paperback
Preț: 949.97 lei 1158.50 lei
6-8 săpt.
-18%
Foundations of Rational Agency
Editat de Michael Wooldridge et al.
31 mar 1999
Hardback
Preț: 962.68 lei 1174.00 lei
6-8 săpt.
-18%
Frontiers in Belief Revision
Editat de M. Williams et al.
30 iun 2001
Hardback
Preț: 1006.22 lei 1257.76 lei
6-8 săpt.
-20%
Inference on the Low Level
Autor Hannes Leitgeb
13 aug 2004
Hardback
Preț: 959.68 lei 1170.34 lei
6-8 săpt.
-18%
Abduction and Induction
Editat de P. A. Flach et al.
15 dec 2010
Paperback
Preț: 904.27 lei 1102.77 lei
6-8 săpt.
-18%
The Semantics and Proof Theory of the Logic of Bunched Implications
Autor David J. Pym
31 iul 2002
Hardback
Preț: 907.61 lei 1106.85 lei
6-8 săpt.
-18%
A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 752.69 lei 917.91 lei
6-8 săpt.
-18%
Hybrid Logic and its Proof-Theory
Autor Torben Braüner
2 ian 2013
Paperback
Preț: 641.11 lei 754.26 lei
6-8 săpt.
-15%
New Essays in Free Logic
Editat de E. Morscher et al.
31 dec 2001
Hardback
Preț: 617.46 lei 726.42 lei
6-8 săpt.
-15%
Logical and Computational Aspects of Model-Based Reasoning
Editat de L. Magnani et al.
30 sep 2002
Paperback
Preț: 616.82 lei 725.66 lei
6-8 săpt.
-15%
Thirty Five Years of Automating Mathematics
Editat de F. D. Kamareddine
22 oct 2010
Paperback
Preț: 615.40 lei 724.00 lei
6-8 săpt.
-15%
Dynamic Worlds
Editat de Remo Pareschi et al.
31 mar 1999
Hardback
Preț: 621.80 lei 731.52 lei
6-8 săpt.
-15%
Formal Aspects of Context
Editat de Pierre Bonzon et al.
31 iul 2000
Hardback
Preț: 613.55 lei 766.94 lei
17-23 zile | 7-13 zile
-20%
An Introduction to Mathematical Logic and Type Theory
Autor Peter B. Andrews
9 dec 2010
Paperback
Preț: 565.31 lei 665.07 lei
6-8 săpt.
-15%
Proof Theory and Automated Deduction
Autor Jean Goubault-Larrecq et al.
30 noi 2001
Paperback
Preț: 400.17 lei
6-8 săpt.
Reasoning Robots
Autor Michael Thielscher
5 iul 2005
Hardback
Preț: 395.48 lei
6-8 săpt.