John Alan Robinson Coauthor index DBLP Vis pubzone.org

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

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