Beweistheorie

	Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2152) von Richard J. Boulton		The Efficiency of Theorem Proving Strategies. A Comparative and Asymptotic Analysis. von David A. Plaisted
	Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science Vol. 90) von David M. Sandford		From Logic Design to Logic Programming. Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science Vol. 271) von Dominique Snyers
	Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2183) von Reinhard Kahle		Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2144) von Tiziana Margaria
	Automated Deduction in Geometry. Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science Vol. 2061) von Jürgen Richter-Gebert		AI*IA 2001: Advances in Artificial Intelligence. 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2175) von Floriana Esposito
	Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings (Lecture Notes in Computer Science Vol. 918) von Peter Baumgartner		Modeling and Verification of Parallel Processes. 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 (Lecture Notes in Computer Science Vol. 2067) von Franck Cassez
	Compositionality, Concurrency, and Partial Correctness. Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science Vol. 321) von Job Zwiers		Proof Theory. An Introduction (Lecture Notes in Mathematics Vol. 1407) von Wolfram Pohlers
	On the Shape of Mathematical Arguments (Lecture Notes in Computer Science Vol. 445) von Antonetta J.M. van Gasteren		Higher Order Logic Theorem Proving and Its Applications. 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Lecture Notes in Computer Science Vol. 780) von Jeffrey J. Joyce
	Extensions of Logic Programming. 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science Vol. 798) von Roy Dyckhoff		Higher Order Logic Theorem Proving and Its Applications. 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science Vol. 859) von Thomas F. Melham
	Theorem Provers in Circuit Design. Theory, Practice and Experience. Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings (Lecture Notes in Computer Science Vol. 901) von Ramayya Kumar		Rewriting Techniques and Applications. 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science Vol. 1232) von Hubert Comon
	Logic and Computational Complexity. International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science Vol. 960) von Daniel Leivant		Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. von Yves Bertot

• Mathe Forum