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