Tudor Jebelean, Bruno Buchberger,
"Using meta-variables for natural deduction in theorema"
: Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 12-2000, T. Jebelean and B. Konev; in: M. Kerber and M. Kohlhase, editors, Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pages 160-175, St. Andrews, Scotland, Aug. 6-7, 2000.
Original Titel:
Using meta-variables for natural deduction in theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
T. Jebelean and B. Konev; in: M. Kerber and M. Kohlhase, editors, Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pages 160-175, St. Andrews, Scotland, Aug. 6-7, 2000.