Taclets: A New Paradigm for Constructing Interactive Theorem Provers

Journal Article

Author(s):Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, and Steffen Schlager
Journal:Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas (RACSAM)
Number:1
Volume:98
Year:2004

Note

Special Issue on Symbolic Computation in Logic and Artificial Intelligence

BibTeX

@Article{BeckertGieseEA2004,
  author = 	 {Bernhard Beckert and Martin Giese and
                  Elmar Habermalz and Reiner H\"ahnle and
                  Andreas Roth and Philipp R\"ummer and 
                  Steffen Schlager},
  title = 	 {Taclets: {A} New Paradigm for Constructing 
                  Interactive Theorem Provers},
  journal = 	 {Revista de la Real Academia de Ciencias Exactas,
                  F\'{i}sicas y Naturales, Serie A: 
                  Matem\'{a}ticas (RACSAM)},
  volume =       {98},
  number =       {1},
  note =         {Special Issue on Symbolic Computation in Logic and Artificial
                  Intelligence},
  year = 	 {2004}
}