Gerhard Barth What Is All the Fuss About Neural Networks? [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:1-14 [Conf]
A. Michael Ballantyne The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:61-76 [Conf]
Wolfgang Bibel Perspectives on Automated Deduction. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:77-104 [Conf]
Gitta Domik The Role of Visualization in Understanding Data. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:91-107 [Conf]
Melvin Fitting Modal Logic Should Say More Than It Does. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:113-135 [Conf]
Dieter W. Fellner Object-Oriented Programming - Does it Help in Computer Graphics? [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:132-151 [Conf]
W. W. Bledsoe Interactive Proof Presentation. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:136-165 [Conf]
Alan Bundy The Use of Proof Plans for Normalization. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:149-166 [Conf]
Hans-Peter Kriegel Query Processing in Spatial Database Systems. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:172-191 [Conf]
Alan Bundy A Science of Reasoning. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:178-198 [Conf]
Ehud Y. Shapiro Inductive Inference of Theories from Facts. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:199-254 [Conf]
Günter Müller Current Trends in Distributed Systems. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:204-224 [Conf]
Young K. Nam, Lawrence J. Henschen Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:211-230 [Conf]
Jennifer Preece Supporting User Testing in Human-Computer Interaction Design. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:256-267 [Conf]
Arto Salomaa Verifying and Recasting Secret Ballots in Computer Networks. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:283-289 [Conf]
Mark E. Stickel PTTP and Linked Inference. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:283-296 [Conf]
J. Schaer, M. G. Stone Face Traverses and a Volume Algorithm for Polyhedra. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:290-297 [Conf]
Larry Wos Automated Reasoning and Bledsoe's Dream for the Field. [Citation Graph (0, 0)][DBLP] Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:297-345 [Conf]
Andreas Schwald Ada - On the Acceptance Problems of a Planned Innovation. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:298-305 [Conf]
Hubert Comon Disunification: A Survey. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:322-359 [Conf]
Lutz Michael Wegner Let the Fingers Do the Walking: Object Manipulation in an NF2 Database Editor. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:337-370 [Conf]
Deepak Kapur, Hantao Zhang A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:360-394 [Conf]
Ian H. Witten, David Maulsby Evaluating Programs Formed by Example: An Informational Heuristic. [Citation Graph (0, 0)][DBLP] New Results and New Trends in Computer Science, 1991, pp:388-402 [Conf]
Keith L. Clark Logic-Programming Schemes and Their Implementation. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:487-541 [Conf]
E. W. Elcock Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming. [Citation Graph (0, 0)][DBLP] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:701-721 [Conf]
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