Jump to main content

yr 〜
yr

Search results 8

Logic programming

Logic programming
Paper図書
edited by Dov M. Gabbay and C.J. Hogger and J.A. RobinsonClarendon Press1998
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Epistemic and temporal reasoning

Epistemic and temporal reasoning
Paper図書
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony GaltonClarendon Press1995
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Deduction methodologies

Deduction methodologies
Paper図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. SiekmannClarendon Press1994
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Nonmonotonic reasoning and uncertain reasoning

Nonmonotonic reasoning and uncertain reasoning
Paper図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. NuteClarendon Press1994
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Essentials of logic programming : : pbk

Essentials of logic programming : : pbk
Paper図書
Christopher John HoggerClarendon Press1990
Other Libraries in Japan
  • Author HeadingHogger, Christopher John

Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming
Paper図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. RobinsonClarendon Press1993-1998
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Logical foundations

Logical foundations
Paper図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. SiekmannClarendon Press1993
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Hogger, Christopher John Robinson, J. A. (John Alan)

Introduction to logic programming : pbk

Introduction to logic programming : pbk
Paper図書
Christopher John HoggerAcademic Press1984
Other Libraries in Japan
  • Author HeadingHogger, Christopher John

Reached to the end of result.

RSS