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