Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

Bibliographic Details
Corporate Authors:	PTCS 2001 Dagstuhl Castle, SpringerLink (Online service)
Other Authors:	Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2183.
Subjects:	Automatic theorem proving > Congresses. programmation logique. lambda calcul. déduction automatique. théorie programmation. théorie type. méthode formelle. déduction. intelligence artificielle. logique informatique. logique mathématique. démonstration théorème. théorie preuve. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Preuve, Théorie de la > Congrès. Automatisches Beweisverfahren. Beweistheorie. Datenverarbeitung. Kongress. Programmierparadigma. Electronic books. Conference proceedings. Dagstuhl (2001)
Online Access:	Connect to the full text of this electronic book

Remote Storage