Robinson, J. A. (John Alan)

ID:DA01969772

別名

Robinson, John Alan

同姓同名の著者を検索

検索結果9件中 1-9 を表示

  • 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館

  • 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

  • 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館

  • Computational logic : essays in honor of Alan Robinson

    edited by Jean-Louis Lassez and Gordon Plotkin

    MIT Press c1991

    所蔵館34館

  • Natural and artificial parallel computation

    edited by M.A. Arbib and J.A. Robinson

    MIT Press c1990

    所蔵館53館

  • Logic : form and function : the mechanization of deductive reasoning

    J.A. Robinson

    University Press c1979

    所蔵館53館

この著者を外部サイトでさがす

ページトップへ