TU Darmstadt / ULB / TUbiblio

Taclets: a new paradigm for constructing interactive theorem provers

Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and Schlager, Steffen (2004):
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, pp. 17--53, 98, (1), [Article]

Item Type: Article
Erschienen: 2004
Creators: Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and Schlager, Steffen
Title: Taclets: a new paradigm for constructing interactive theorem provers
Language: German
Journal or Publication Title: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas
Volume: 98
Number: 1
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Taclets
Export:

Optionen (nur für Redakteure)

View Item View Item