Bruno Buchberger,
"Natural Language Proofs in Nested Celle Representation"
, 4-1997, B. Buchberger; First International Workshop on Proof Transformation and Presentation , Conference Center Dagstuhl
Original Titel:
Natural Language Proofs in Nested Celle Representation
Sprache des Titels:
Englisch
Erscheinungsmonat:
4
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger; First International Workshop on Proof Transformation and Presentation , Conference Center Dagstuhl