3rd LPAR 1992: St. Petersburg, Russia

Refine list

showing all ?? records

Semantics I

Non-Resolution Theorem Proving I


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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics