Menu

J. A. Robinson

11 published titles

Logic : form and function : the mechanization of deductive reasoning

1 edition

  • ISBN: 0852243057
  • Edinburgh University Press
  • 1979
  • Details

Natural and artificial parallel computation

(Contributor)

1 edition

  • ISBN: 0262011204
  • MIT Press
  • 1990
  • Details

Computational logic : essays in honor of Alan Robinson

(Contributor)

1 edition

  • ISBN: 0262121565
  • MIT Press
  • 1991
  • Details

Handbook of logic in artificial intelligence and logic programming. Vol. 1, Logical foundations

(Contributor)

1 edition

  • ISBN: 019853745X
  • Clarendon Press
  • 1993
  • Details

Handbook of logic in artificial intelligence and logic programming. Vol.2, Deduction methodologies

(Contributor)

1 edition

  • ISBN: 0198537468
  • Clarendon
  • 1994
  • Details

Handbook of logic in artificial intelligence and logic programming. Vol.3, Nonmonotonic reasoning and uncertain reasoning

(Contributor)

1 edition

  • ISBN: 0198537476
  • Clarendon
  • 1994
  • Details

Handbook of logic in artificial intelligence and logic programming

(Contributor)

1 edition

  • ISBN: 0198537913
  • Clarendon Press
  • 1995
  • Details

Research in education for professional development : a learning pack

(Contributor)

1 edition

  • ISBN: 1859230865
  • University of Ulster, School of Education and School of Social and Community Sciences
  • 1995
  • Details

Handbook of logic in artificial intelligence and logic programming. Vol. 5, Logic programming

(Contributor)

1 edition

  • ISBN: 0198537921
  • Clarendon
  • 1998
  • Details

Handbook of automated reasoning

(Contributor)

1 edition

  • ISBN: 026218222X
  • Elsevier
  • 2001
  • Details

Software design for engineers and scientists

1 edition

  • ISBN: 0750660805
  • Newnes
  • 2004
  • Details

obnb.uk is a Good Stuff website.