@TechReport{BeckertGieseEA2004tr,
author = {Bernhard Beckert and Martin Giese and Elmar Habermalz and
Reiner Hähnle and Andreas Roth and Philipp Rümmer and
Steffen Schlager},
title = {Taclets: A New Paradigm for Constructing Interactive
Theorem Provers},
institution = {Department of Computer Science, University of Koblenz},
volume = {Technical Reports in Computer Science
(Fachberichte Informatik)},
number = {9-2004},
year = {2004}
}
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
| Autor(en): | Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer und Steffen Schlager |
|---|---|
| Institution: | Department of Computer Science, University of Koblenz |
| Nummer: | 9-2004 |
| Band: | Technical Reports in Computer Science (Fachberichte Informatik) |
| Jahr: | 2004 |