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

1. IJCAR 2001: Siena, Italy

Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Lecture Notes in Computer Science 2083 Springer 2001, ISBN 3-540-42254-4 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Description, Modal and Temporal Logics

Saturation Based Theorem Proving, Applications, and Data Structures

Logic Programming and Nonmonotonic Reasoning

Propositional Satisfiability and Quantified Boolean Logic

Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving

Semantic Guidance

Equational Theorem Proving and Term Rewriting

Tableau, Sequent, Natural Deduction Calculi and Proof Theory

Automata, Specification, Verification, and Logics of Programs

Nonclassical Logics

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