Search the dblp DataBase
John Alan Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- John Alan Robinson
A Machine-Oriented Logic Based on the Resolution Principle. [Citation Graph (32, 0)][DBLP]
J. ACM, 1965, v:12, n:1, pp:23-41 [Journal] - John Alan Robinson
Is Logic Programming Enough? [Citation Graph (1, 0)][DBLP]
DS-2, 1986, pp:307-319 [Conf] - John Alan Robinson
Logic Programming - Past, Present and Future. [Citation Graph (1, 0)][DBLP]
New Generation Comput., 1983, v:1, n:2, pp:107-124 [Journal] - John Alan Robinson
Proof = Guarantee + Explanation. [Citation Graph (0, 0)][DBLP]
Intellectics and Computational Logic, 2000, pp:277-294 [Conf] - John Alan Robinson
Formal and Informal Proofs. [Citation Graph (0, 0)][DBLP]
Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:267-282 [Conf] - John Alan Robinson
Computational Logic: Memories of the Past and Challenges for the Future. [Citation Graph (0, 0)][DBLP]
Computational Logic, 2000, pp:1-24 [Conf] - John Alan Robinson
The Role of Logic in Computer Science and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
FGCS, 1992, pp:199-210 [Conf] - John Alan Robinson
New directions in mechanical theorem proving. [Citation Graph (0, 0)][DBLP]
IFIP Congress (1), 1968, pp:63-69 [Conf] - John Alan Robinson
The Future of Logic Programming (Invited Paper). [Citation Graph (0, 0)][DBLP]
IFIP Congress, 1986, pp:219-224 [Conf] - John Alan Robinson, Tomas P. Flores
Novel Techniques for Visualizing Biological Information. [Citation Graph (0, 0)][DBLP]
ISMB, 1997, pp:241-249 [Conf] - John Alan Robinson
Unification and resolution in retrospect. [Citation Graph (0, 0)][DBLP]
JFPLC, 1997, pp:241-0 [Conf] - John Alan Robinson
Informal Rigor and Mathematical Understanding. [Citation Graph (0, 0)][DBLP]
Kurt Gödel Colloquium, 1997, pp:54-64 [Conf] - John Alan Robinson
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) [Citation Graph (0, 0)][DBLP]
LICS, 1986, pp:2- [Conf] - John Alan Robinson
Logic, Computers, Turing, and von Neumann. [Citation Graph (0, 0)][DBLP]
Machine Intelligence 13, 1994, pp:1-35 [Conf] - John Alan Robinson, Jonas Barklund
Vesper. [Citation Graph (0, 0)][DBLP]
Machine Intelligence 15, 1995, pp:360-377 [Conf] - John Alan Robinson
Logic and Logic Programming. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1992, v:35, n:3, pp:40-65 [Journal] - John Alan Robinson
Theorem-Proving on the Computer. [Citation Graph (0, 0)][DBLP]
J. ACM, 1963, v:10, n:2, pp:163-174 [Journal] - John Alan Robinson
Editor's Introduction. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1984, v:1, n:1, pp:1-2 [Journal] - John Alan Robinson
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1994, v:19, n:, pp:5-8 [Journal] - John Alan Robinson, Norman M. Martin
Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
J. Symb. Log., 1967, v:32, n:3, pp:430- [Journal] - John Alan Robinson
Invited editorial. [Citation Graph (0, 0)][DBLP]
TPLP, 2001, v:1, n:1, pp:1- [Journal]
Search in 0.004secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002