Bruno Buchberger, D. Vasaru, Tudor Jebelean,
"The theorema system: Current status and the proving-solving-computing cycle"
: Proceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving), 6-2000, B. Buchberger, D. Vasaru, and T. Jebelean; in: Proceedings of RTETP (Rewriting Techniques and Efficient Theorem Proving), Kiev, June 2000.
Original Titel:
The theorema system: Current status and the proving-solving-computing cycle
Sprache des Titels:
Englisch
Original Buchtitel:
Proceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving)
Erscheinungsmonat:
6
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger, D. Vasaru, and T. Jebelean; in: Proceedings of RTETP (Rewriting Techniques and Efficient Theorem Proving), Kiev, June 2000.