Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 238 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:354042752X
9783540427520