Robinson, J. A. (John Alan)

ID:DA01969772

Alias Name

Robinson, John Alan

Search authors sharing the same name

Search Results1-9 of 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

    Available at 47 libraries

  • 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

    Available at 52 libraries

  • 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

    Available at 59 libraries

  • 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

    Available at 56 libraries

  • 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

    Available at 63 libraries

  • Computational logic : essays in honor of Alan Robinson

    edited by Jean-Louis Lassez and Gordon Plotkin

    MIT Press c1991

    Available at 34 libraries

  • Natural and artificial parallel computation

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

    MIT Press c1990

    Available at 53 libraries

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

    J.A. Robinson

    University Press c1979

    Available at 53 libraries

Page Top