---

Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
(Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2)

データ種別	図書
出版者	Oxford : Clarendon Press
出版者	Oxford ; New York : Oxford University Press
出版年	1994
本文言語	英語
大きさ	xv, 511 p. ; 24 cm

 類似資料