John Alan Robinson

John Alan Robinson, Andrei Voronkov (Eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press 2001, isbn 0-444-50813-9

John Alan Robinson: Invited editorial. TPLP 1(1): 1 (2001)

John Alan Robinson, Andrei Voronkov: Preface. Handbook of Automated Reasoning 2001

John Alan Robinson: Proof = Guarantee + Explanation. Intellectics and Computational Logic 2000: 277-294

John Alan Robinson: Computational Logic: Memories of the Past and Challenges for the Future. Computational Logic 2000: 1-24

John Alan Robinson, Tomas P. Flores: Novel Techniques for Visualizing Biological Information. ISMB 1997: 241-249

John Alan Robinson: Unification and resolution in retrospect. JFPLC 1997: 241-

John Alan Robinson: Informal Rigor and Mathematical Understanding. Kurt Gödel Colloquium 1997: 54-64

John Alan Robinson, Jonas Barklund: Vesper. Machine Intelligence 15 1995: 360-377

John Alan Robinson: Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. J. Log. Program. 19/20: 5-8 (1994)

John Alan Robinson: Logic, Computers, Turing, and von Neumann. Machine Intelligence 13 1994: 1-35

John Alan Robinson: Logic and Logic Programming. Commun. ACM 35(3): 40-65 (1992)

John Alan Robinson: The Role of Logic in Computer Science and Artificial Intelligence. FGCS 1992: 199-210

John Alan Robinson: Formal and Informal Proofs. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 267-282

John Alan Robinson: Is Logic Programming Enough? DS-2 1986: 307-319

John Alan Robinson: The Future of Logic Programming (Invited Paper). IFIP Congress 1986: 219-224

John Alan Robinson: Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture). LICS 1986: 2

John Alan Robinson: Editor's Introduction. J. Log. Program. 1(1): 1-2 (1984)

John Alan Robinson: Logic Programming - Past, Present and Future. New Generation Comput. 1(2): 107-124 (1983)

John Alan Robinson: New directions in mechanical theorem proving. IFIP Congress (1) 1968: 63-69

John Alan Robinson, Norman M. Martin: Meeting of the Association for Symbolic Logic. J. Symb. Log. 32(3): 430 (1967)

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41 (1965)

John Alan Robinson: Theorem-Proving on the Computer. J. ACM 10(2): 163-174 (1963)