Robinson, J. A. (John Alan)

ID:DA01969772

Biệt danh

Robinson, John Alan

Cùng họ cùng tên の tác giả を kiểm tác

Kiểm tác kết quả9 kiện trung  1-9 を tỏ vẻ

  • 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

    Sở tàng quán 47 quán

  • 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

    Sở tàng quán 52 quán

  • 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

    Sở tàng quán 59 quán

  • 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

    Sở tàng quán 56 quán

  • 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

    Sở tàng quán 62 quán

  • Computational logic: essays in honor of Alan Robinson

    edited by Jean-Louis Lassez and Gordon Plotkin

    MIT Press c1991

    Sở tàng quán 34 quán

  • Natural and artificial parallel computation

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

    MIT Press c1990

    Sở tàng quán 52 quán

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

    J.A. Robinson

    University Press c1979

    Sở tàng quán 52 quán

ページトップへ