著者
書誌事項
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
-
21
- Formal aspects of context
-
edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum
Kluwer c2000 Applied logic series v. 20
所蔵館16館
-
22
- Goal-directed proof theory
-
by Dov M. Gabbay and Nicola Olivetti
Kluwer c2000 Applied logic series v. 21
所蔵館10館
-
23
- Intellectics and computational logic : papers in honor of Wolfgang Bibel
-
edited by Steffen Hölldobler
Kluwer Academic c2000 Applied logic series v. 19
所蔵館9館
-
24
- Labelled deduction
-
edited by David Basin ... [et al.]
Kluwer Academic c2000 Applied logic series v. 17
所蔵館14館
-
25
- Abduction and induction : essays on their relation and integration
-
edited by Peter A. Flach, Antonis C. Kakas
Kluwer c2000 Applied logic series v. 18
所蔵館31館
-
26
- Advances in temporal logic
-
edited by Howard Barringer ... [et al.]
Kluwer c2000 Applied logic series v. 16
所蔵館15館
-
27
- Fuzzy sets, logics and reasoning about knowledge
-
edited by Didier Dubois, Henri Prade and Erich Peter Klement
Kluwer Academic c1999 Applied logic series v. 15
所蔵館19館
-
28
- A textbook of belief dynamics : theory change and database updating
-
by Sven Ove Hansson
Kluwer Academic Publishers c1999 Student edition Applied logic series v. 11
: pbk.
所蔵館9館
-
29
- What is negation?
-
edited by Dov M. Gabbay and Heinrich Wansing
Kluwer Academic Publishers c1999 Applied logic series v. 13
所蔵館31館
-
30
- Foundations of rational agency
-
edited by Michael Wooldridge and Anand Rao
Kluwer Academic c1999 Applied logic series v. 14
所蔵館17館
-
31
- Dynamic worlds : from the frame problems to knowledge management
-
edited by Remo Pareschi and Bertram Fronhöfer
Kluwer Academic c1999 Applied logic series v. 12
所蔵館16館
-
32
- A textbook of belief dynamics : theory change and database updating
-
Sven Ove Hansson
Kluwer Academic c1999 Applied logic series v. 11
所蔵館6館
-
33
- Automated deduction : a basis for applications
-
edited by Wolfgang Bibel and Peter H. Schmitt
Kluwer Academic c1998 Applied logic series v.8-10
set , v.1 , v.2 , v.3
所蔵館21館
-
34
- Advances in intensional logic
-
edited by Maarten de Rijke
Kluwer Academic Publishers c1997 Applied logic series v. 7
所蔵館22館
-
35
- Proof theory and automated deduction
-
by Jean Goubault-Larrecq and Ian Mackie
Kluwer Academic c1997 Applied logic series v. 6
所蔵館25館
-
36
- Logic, language, and computation
-
edited by Seiki Akama
Kluwer Academic c1997 Applied logic series v. 5
: hc
所蔵館18館
-
37
- Multi-dimensional modal logic
-
by Maarten Marx and Yde Venema
Kluwer Academic c1997 Applied logic series v. 4
所蔵館20館
-
38
- Proof theory of modal logic
-
edited by Heinrich Wansing
Springer Science+Business Media c1996 Applied logic series v. 2
所蔵館1館
-
39
- Frontiers of combining systems : first international workshop, Munich, March 1996
-
edited by Franz Baader and Klaus U. Schulz
Kluwer Academic Publishers c1996 Applied logic series v. 3
所蔵館6館
-
40
- Fallacies arising from ambiguity
-
by Douglas Walton
Kluwer Academic c1996 Applied logic series v. 1
所蔵館11館