著者
書誌事項
Applied logic series
Kluwer, c1996-
- タイトル別名
-
APLS
この図書・雑誌をさがす
注記
Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999)
Publisher varies: Springer
-
1
- Hybrid logic and its proof-theory
-
Torben Braüner
Springer c2011 Applied logic series v. 37
所蔵館13館
-
2
- Hybrid logic and its proof-theory
-
Torben Braüner
Springer 2010 Applied logic series v. 37
: pbk
所蔵館1館
-
3
- Analysis and synthesis of logics : how to cut and paste reasoning systems
-
by Walter Carnielli ... [et al.]
Springer c2010 Applied logic series v. 35
所蔵館1館
-
4
- Dynamic worlds : from the frame problem to knowledge management
-
edited by Remo Pareschi and Bertram Fronhöfer
Kluwer Academic c2010 Applied logic series v. 12
: pbk
所蔵館1館
-
5
- Proof theory for fuzzy logics
-
by George Metcalfe, Nicola Olivetti, Dov Gabbay
Springer c2009 Applied logic series v. 36
所蔵館4館
-
6
- Analysis and synthesis of logics : how to cut and paste reasoning systems
-
by Walter Carnielli ... [et al.]
Springer c2008 Applied logic series v. 35
: e-book
所蔵館9館
-
7
- Rigid flexibility : the logic of intelligence
-
by Pei Wang
Springer c2006 Applied logic series v. 34
所蔵館3館
-
8
- Reasoning robots : the art and science of programming robotic agents
-
by Michael Thielscher
Springer c2005 Applied logic series v. 33
: HB
所蔵館7館
-
9
- Automated model building
-
by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Kluwer c2004 Applied logic series 31
所蔵館3館
-
10
- The death of argument : fallacies in agent based reasoning
-
by John Woods
Kluwer Academic c2004 Applied logic series v. 32
: HB
所蔵館2館
-
11
- Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
-
by Hannes Leitgeb
Kluwer Academic c2004 Applied logic series v. 30
: HB
所蔵館4館
-
12
- A modern perspective on type theory : from its origins until today
-
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Kluwer Academic c2004 Applied logic series v. 29
所蔵館14館
-
13
- Thirty five years of automating mathematics
-
edited by Fairouz D. Kamareddine
Kluwer Academic c2003 Applied logic series v. 28
所蔵館3館
-
14
- Foundations of bayesianism
-
edited by David Corfield and Jon Williamson
Kluwer c2002 Applied logic series v. 24
:pbk
所蔵館1館
-
15
- Logical and computational aspects of model-based reasoning
-
edited by Lorenzo Magnani, Nancy J. Nersessian and Claudio Pizzi
Kluwer Academic c2002 Applied logic series v. 25
: [hc] , : pbk
所蔵館9館
-
16
- An introduction to mathematical logic and type theory : to truth through proof
-
Peter B. Andrews
Kluwer Academic c2002 2nd ed. Applied logic series v. 27
所蔵館20館
-
17
- The semantics and proof theory of the logic of bunched implications
-
by David J. Pym
Kluwer Academic c2002 Applied logic series v. 26
所蔵館13館
-
18
- New essays in free logic in honour of Karel Lambert
-
edited by Edgar Morscher and Alexander Hieke
Kluwer Academic c2001 Applied logic series v. 23
所蔵館8館
-
19
- Foundations of bayesianism
-
edited by David Corfield and Jon Williamson
Kluwer c2001 Applied logic series v. 24
所蔵館19館
-
20
- Frontiers in belief revision
-
edited by Mary-Anne Williams and Hans Rott
Kluwer c2001 Applied logic series v. 22
所蔵館9館
