| 2001 |
|---|
| 23 | | John Alan Robinson,
Andrei Voronkov:
Handbook of Automated Reasoning (in 2 volumes)
Elsevier and MIT Press 2001 |
| 22 | | John Alan Robinson,
Andrei Voronkov:
Preface.
Handbook of Automated Reasoning 2001 |
| 21 | | John Alan Robinson:
Invited editorial.
TPLP 1(1): 1 (2001) |
| 2000 |
|---|
| 20 | EE | John Alan Robinson:
Computational Logic: Memories of the Past and Challenges for the Future.
Computational Logic 2000: 1-24 |
| 19 | | John Alan Robinson:
Proof = Guarantee + Explanation.
Intellectics and Computational Logic 2000: 277-294 |
| 1997 |
|---|
| 18 | | John Alan Robinson,
Tomas P. Flores:
Novel Techniques for Visualizing Biological Information.
ISMB 1997: 241-249 |
| 17 | | John Alan Robinson:
Unification and resolution in retrospect.
JFPLC 1997: 241- |
| 16 | | John Alan Robinson:
Informal Rigor and Mathematical Understanding.
Kurt Gödel Colloquium 1997: 54-64 |
| 1995 |
|---|
| 15 | | John Alan Robinson,
Jonas Barklund:
Vesper.
Machine Intelligence 15 1995: 360-377 |
| 1994 |
|---|
| 14 | | John Alan Robinson:
Logic, Computers, Turing, and von Neumann.
Machine Intelligence 13 1994: 1-35 |
| 13 | | John Alan Robinson:
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming.
J. Log. Program. 19/20: 5-8 (1994) |
| 1992 |
|---|
| 12 | | John Alan Robinson:
The Role of Logic in Computer Science and Artificial Intelligence.
FGCS 1992: 199-210 |
| 11 | | John Alan Robinson:
Logic and Logic Programming.
Commun. ACM 35(3): 40-65 (1992) |
| 1991 |
|---|
| 10 | | John Alan Robinson:
Formal and Informal Proofs.
Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282 |
| 1986 |
|---|
| 9 | | John Alan Robinson:
Is Logic Programming Enough?
DS-2 1986: 307-319 |
| 8 | | John Alan Robinson:
The Future of Logic Programming (Invited Paper).
IFIP Congress 1986: 219-224 |
| 7 | | John Alan Robinson:
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)
LICS 1986: 2 |
| 1984 |
|---|
| 6 | | John Alan Robinson:
Editor's Introduction.
J. Log. Program. 1(1): 1-2 (1984) |
| 1983 |
|---|
| 5 | | John Alan Robinson:
Logic Programming - Past, Present and Future.
New Generation Comput. 1(2): 107-124 (1983) |
| 1968 |
|---|
| 4 | | John Alan Robinson:
New directions in mechanical theorem proving.
IFIP Congress (1) 1968: 63-69 |
| 1967 |
|---|
| 3 | | John Alan Robinson,
Norman M. Martin:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 32(3): 430 (1967) |
| 1965 |
|---|
| 2 | EE | John Alan Robinson:
A Machine-Oriented Logic Based on the Resolution Principle.
J. ACM 12(1): 23-41 (1965) |
| 1963 |
|---|
| 1 | EE | John Alan Robinson:
Theorem-Proving on the Computer.
J. ACM 10(2): 163-174 (1963) |
