DMCA

Taclets: A New Paradigm for Constructing Interactive Theorem Provers (2004)

by Bernhard Beckert , Martin Giese , Elmar Habermalz , Reiner Hähnle , Andreas Roth , Philipp Rümmer , Steffen Schlager
Venue:CIENCIAS EXACTAS, FÍSICAS Y NATURALES, SERIE A: MATEMÁTICAS, 98(1), 2004. SPECIAL ISSUE ON SYMBOLIC COMPUTATION IN LOGIC AND ARTIFICIAL INTELLIGENCE
Citations:22 - 8 self