Bruno Buchberger,
"The Theorema Project"
, 10-1997, B. Buchberger; International Conference on Constraint Programming 1997, RISC, Hagenberg, Workshop on Theorem Proving in Predicate Logic
Original Titel:
The Theorema Project
Sprache des Titels:
Englisch
Erscheinungsmonat:
10
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger; International Conference on Constraint Programming 1997, RISC, Hagenberg, Workshop on Theorem Proving in Predicate Logic