dblp.uni-trier.de www.uni-trier.de

3. LPAR 1992: St. Petersburg, Russia

Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Lecture Notes in Computer Science 624 Springer 1992, ISBN 3-540-55727-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Semantics I

Non-Resolution Theorem Proving I

Constraints

Data Bases and Knowledge Bases

Resolution Theorem Proving

Theorem Proving and Complexity

Implementation Aspects

Logical Frameworks

Parallel Theorem Proving and Logic Programming

Unification and Equality I

Semantics II

Extensions of Logic Programming

Non-Resolution Theorem Proving II

Specification and Verification

Unification and Equality II

System Descriptions

Copyright © Mon Nov 2 20:57:20 2009 by Michael Ley (ley@uni-trier.de)