1 |
v. 1
Fallacies arising from ambiguity / by Douglas Walton
Dordrecht ; London : Kluwer Academic , c1996
|
2 |
v. 2
Proof theory of modal logic / edited by Heinrich Wansing
Dordrecht : Kluwer , 1996
|
3 |
v. 3
Frontiers of combining systems : first international workshop, Munich, March 1996 / edited by Franz Baader and Klaus U. Schulz
Dordrecht ; Boston : Kluwer Academic Publishers , c1996
|
4 |
v. 4
Multi-dimensional modal logic / by Maarten Marx and Yde Venema
Dordrecht : Kluwer Academic , c1997
|
5 |
v. 5
Logic, language, and computation / edited by Seiki Akama
: hc. - Dordrecht : Kluwer Academic , c1997
|
6 |
v. 6
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie
Dordrecht : Kluwer Academic , c1997
|
7 |
v. 7
Advances in intensional logic / edited by Maarten de Rijke
Dordrecht ; Boston : Kluwer Academic Publishers , c1997
|
8 |
v.8-10
Automated deduction : a basis for applications / edited by Wolfgang Bibel and Peter H. Schmitt
set - v.3. - Dordrecht : Kluwer Academic , c1998
|
9 |
v. 11
A textbook of belief dynamics : theory change and database updating / Sven Ove Hansson
Dordrech : Kluwer Academic , c1999
|
10 |
v. 12
Dynamic worlds : from the frame problems to knowledge management / edited by Remo Pareschi and Bertram Fronhöfer
Dortrecht ; Boston : Kluwer Academic , c1999
|
11 |
v. 13
What is negation? / edited by Dov M. Gabbay and Heinrich Wansing
Dordrecht ; Boston, Mass. : Kluwer Academic Publishers , c1999
|
12 |
v. 14
Foundations of rational agency / edited by Michael Wooldridge and Anand Rao
Dordrecht ; Boston : Kluwer Academic , c1999
|
13 |
v. 15
Fuzzy sets, logics and reasoning about knowledge / edited by Didier Dubois, Henri Prade and Erich Peter Klement
Dordrecht ; Boston, Mass. : Kluwer Academic , c1999
|
14 |
v. 16
Advances in temporal logic / edited by Howard Barringer ... [etc.]
Dordrecht : Kluwer , c2000
|
15 |
v. 17
Labelled deduction / edited by David Basin ... [et al.]
Dordrecht : Kluwer Academic , c2000
|
16 |
v. 18
Abduction and induction : essays on their relation and integration / edited by Peter A. Flach, Antonis C. Kakas
Dordrecht : Kluwer , c2000
|
17 |
v. 19
Intellectics and computational logic : papers in honor of Wolfgang Bibel / edited by Steffen Hölldobler
Dordrecht : Kluwer Academic , c2000
|
18 |
v. 20
Formal aspects of context / edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum
Dordrecht : Kluwer , c2000
|
19 |
v. 21
Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti
Dordrecht : Kluwer , c2000
|
20 |
v. 22
Frontiers in belief revision / edited by Mary-Anne Williams and Hans Rott
Dordrecht : Kluwer , c2001
|
21 |
v. 23
New essays in free logic in honour of Karel Lambert / edited by Edgar Morscher and Alexander Hieke
Dordrecht : Kluwer Academic , c2001
|
22 |
v. 24
Foundations of bayesianism / edited by David Corfield and Jon Williamson
Dordrecht : Kluwer , c2001
|
23 |
v. 25
Logical and computational aspects of model-based reasoning / edited by Lorenzo Magnani, Nancy J. Nersessian and Claudio Pizzi
: [hc],: pbk. - Dordrecht : Kluwer Academic , c2002
|
24 |
v. 26
The semantics and proof theory of the logic of bunched implications / by David J. Pym
Dordrecht : Kluwer Academic, c2002
|
25 |
v. 27
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
2nd ed.. - Dordrecht ; Tokyo : Kluwer Academic , c2002
|
26 |
v. 28
Thirty five years of automating mathematics / edited by Fairouz D. Kamareddine
Dordrecht : Kluwer Academic , c2003
|
27 |
v. 29
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Boston : Kluwer Academic , c2004
|
28 |
v. 30
Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition / by Hannes Leitgeb
: HB. - Dordrecht : Kluwer Academic , c2004
|
29 |
31
Automated model building / by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Dordrecht : Kluwer , c2004
|
30 |
v. 32
The death of argument : fallacies in agent based reasoning / by John Woods
: HB. - Dordrecht : Kluwer Academic , c2004
|
31 |
v. 33
Reasoning robots : the art and science of programming robotic agents / by Michael Thielscher
: HB. - Dordrecht : Springer , c2005
|
32 |
v. 34
Rigid flexibility : the logic of intelligence / by Pei Wang
: e-book. - Dordrecht : Springer , c2006
|
33 |
v. 35
Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli ... [et al.]
: e-book. - Dordrecht : Springer , c2008
|
34 |
v. 36
Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay
[Dordrecht] : Springer , c2009
|
35 |
v. 37
Hybrid logic and its proof-theory / Torben Braüner
Dordrecht : Springer , c2011
|