1.
 |  | Title: Neural-Symbolic Learning Systems
by Artur S. D'Avila Garcez, Krysia B. Broda, Dov M. Gabbay
ISBN: 1852335122
Publisher: Springer Verlag
Pub. Date: 17 September, 2002
List Price: $89.95
Amazon.com Price: $89.95 |
2.
|  | Title: Handbook of Philosophical Logic: Elements of Classical Logic
by D. M. Gabbay
ISBN: 9027715424
Publisher: D Reidel Pub Co
Pub. Date: January, 1984
List Price: $417.50
Amazon.com Price: $417.50 |
3.
|  | Title: Temporal Logic (Lecture Notes in Artificial Intelligence)
by D.M. Gabbay, H.J. Ohlbach
ISBN: 354058241X
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Pub. Date: 01 June, 1994
|
4.
|  | Title: Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning Ecsqaru-Fapr'97, Bad Honnef, Germany, June 9-12, 1997 (Lecture Notes in Computer Science, 1244)
by D. Gabbay, R. Kruse, International Joint Conference on Qualitative and Quantitative Practic, H.J. Ohlbach
ISBN: 3540630953
Publisher: Springer Verlag
Pub. Date: September, 1997
List Price: $113.00
Amazon.com Price: $113.00 |
5.
|  | Title: Handbook of Logic in Artificial Intelligence: Logic Programming (Handbook of Logic in Artificial Intelligence, Vol 5)
by D. M. Gabbay, C. Hogger, J. A. Robinson
ISBN: 0198537921
Publisher: Oxford University Press
Pub. Date: March, 1998
List Price: $250.00
Amazon.com Price: $250.00 |
6.
|  | Title: Handbook of Logic in Computer Science: Background Computational Structures
by S. Abramsky, T.S.E. Maibaum, D. M. Gabbay
ISBN: 0198537611
Publisher: Clarendon Pr
Pub. Date: March, 1993
List Price: $230.00
Amazon.com Price: $230.00 |
7.
|  | Title: Handbook of Philosophical Logic (Handbook of Philosophical Logic. Second Edition, Vol 4)
by D. M. Gabbay, F. Guenthner
ISBN: 1402001398
Publisher: Kluwer Academic Publishers
Pub. Date: 01 December, 2001
List Price: $117.50
Amazon.com Price: $117.50 |
8.
|  | Title: Handbook of Philosophical Logic: Alternatives to Classical Logic
by D. Gabbay
ISBN: 9027716056
Publisher: D Reidel Pub Co
Pub. Date: January, 1986
List Price: $404.50
Amazon.com Price: $404.50 |
9.
|  | Title: Handbook of Tableau Methods
by Marcello D'Agostino, Dov M. Gabbay, Reiner Hahnle, Joachim Posegga
ISBN: 0792356276
Publisher: Kluwer Academic Publishers
Pub. Date: May, 1999
List Price: $298.00
Amazon.com Price: $298.00 |
10.
|  | Title: Labelled Deduction (APPLIED LOGIC SERIES Volume 17)
by David Basin, Marcello D'Agostino, Dov M. Gabbay, Sean Matthews, Luca Vigano, Marcello D'Agostino, Sean Matthews (Editor), Luca Vigano (Editor)
ISBN: 0792362373
Publisher: Kluwer Academic Publishers
Pub. Date: 01 May, 2000
List Price: $120.00
Amazon.com Price: $120.00 |
