Bruno Buchberger, Daniela Dupre,
"Theorema: The Induction Prover over Lists"
, 1997, B. Buchberger, D. Dupre; in the First International Theorema Workshop (RISC-Report 97-20)
Original Titel:
Theorema: The Induction Prover over Lists
Sprache des Titels:
Englisch
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, D. Dupre; in the First International Theorema Workshop (RISC-Report 97-20)