Bruno Buchberger, Eleana Tomuta,
"Combining Provers in the Theorema System"
: Proceedings of the Sixth Rhine Workshop on computer Algebra, 12-1998, E. Tomuta and B. Buchberger; in: Proceedings of the Sixth Rhine Workshop on Computer Algebra, March 31 - April 3, Sankt Augustin, Germany, 1998.
Original Titel:
Combining Provers in the Theorema System
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Sixth Rhine Workshop on computer Algebra
Erscheinungsmonat:
12
Erscheinungsjahr:
1998
Notiz zum Zitat:
E. Tomuta and B. Buchberger; in: Proceedings of the Sixth Rhine Workshop on Computer Algebra, March 31 - April 3, Sankt Augustin, Germany, 1998.
Forschungs-