| 1 |
v. 1
Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1993
|
| 2 |
v. 2
Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1994
|
| 3 |
v. 3
Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1994
|
| 4 |
v. 4
Epistemic and temporal reasoning / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1995
|
| 5 |
v. 5
Logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
Oxford : Clarendon Press , 1998
|
