close
1.

図書
図書
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
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
2.

図書
図書
2. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
所蔵情報: loading…
3.

図書
図書
3. 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
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
4.

図書
図書
4. Logic : form and function : the mechanization of deductive reasoning
J.A. Robinson
出版情報: Edinburgh : University Press, c1979
所蔵情報: loading…
5.

図書
図書
5. Computational logic : essays in honor of Alan Robinson
edited by Jean-Louis Lassez and Gordon Plotkin
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: loading…