Bruno Buchberger,
"Theorema: Automated Theorem Proving for the Practice"
: Applied Informatics Conference, 1-2001, B. Buchberger Applied Informatics Conference, Univ. of Eger, Ungarn
Original Titel:
Theorema: Automated Theorem Proving for the Practice
Sprache des Titels:
Englisch
Original Buchtitel:
Applied Informatics Conference
Erscheinungsmonat:
1
Erscheinungsjahr:
2001
Notiz zum Zitat:
B. Buchberger Applied Informatics Conference, Univ. of Eger, Ungarn