Handbook of logic in artificial intelligence and logic programming

著者

書誌事項

Handbook of logic in artificial intelligence and logic programming

edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

Clarendon Press , Oxford University Press, 1993-1998

この図書・雑誌をさがす

注記

Includes bibliographical references and indexes

関連文献： 5件中  1-5を表示

  • Logic programming

    edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

    Clarendon Press 1998 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 5

    所蔵館47館

  • Epistemic and temporal reasoning

    edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton

    Clarendon Press , Oxford University Press 1995 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 4

    所蔵館52館

  • Nonmonotonic reasoning and uncertain reasoning

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute

    Clarendon Press , 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. 3

    所蔵館59館

  • Deduction methodologies

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    Clarendon Press , 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

    所蔵館56館

  • Logical foundations

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    Clarendon Press , 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

    所蔵館63館

詳細情報

ページトップへ