Beckert, Bernhard
[VerfasserIn];
Giese, Martin
[VerfasserIn];
Habermalz, Elmar
[VerfasserIn];
Hähnle, Reiner
[VerfasserIn];
Roth, Andreas
[VerfasserIn];
Rümmer, Philipp
[VerfasserIn];
Schlager, Steffen
[VerfasserIn]
Taclets: a new paradigm for constructing interactive theorem provers
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel;
Sonstige Veröffentlichung
Titel:
Taclets: a new paradigm for constructing interactive theorem provers
Beteiligte:
Beckert, Bernhard
[VerfasserIn];
Giese, Martin
[VerfasserIn];
Habermalz, Elmar
[VerfasserIn];
Hähnle, Reiner
[VerfasserIn];
Roth, Andreas
[VerfasserIn];
Rümmer, Philipp
[VerfasserIn];
Schlager, Steffen
[VerfasserIn]
Erschienen:
Springer, 2005-03-21
Erschienen in:Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matemáticas, 98 (1), 17-53 ; ISSN: 1578-7303