Bruno Buchberger,
"Computing, Solving, Proving: A Survey on the Theorema Project"
, 7-1997, B. Buchberger, Workshop on Logic Programming and Nonmonotonic Reasoning, Conference Center Dagstuhl, Germany
Original Titel:
Computing, Solving, Proving: A Survey on the Theorema Project
Sprache des Titels:
Englisch
Erscheinungsmonat:
7
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, Workshop on Logic Programming and Nonmonotonic Reasoning, Conference Center Dagstuhl, Germany