dblp.uni-trier.dewww.uni-trier.de

John Alan Robinson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
20EEJohn 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
2EEJohn Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41 (1965)
1963
1EEJohn Alan Robinson: Theorem-Proving on the Computer. J. ACM 10(2): 163-174 (1963)

Coauthor Index

1Jonas Barklund [15]
2Tomas P. Flores [18]
3Norman M. Martin [3]
4Andrei Voronkov [22] [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)