Teimuraz Kutsia, Koji Nakagawa,
"System Description: Interface between Theorema and External Automated Deduction Systems"
, in S. Linton and R. Sebastiani: Proceedings of Calculemus 2001, 6-2001, T. Kutsia, K. Nakagawa In S. Linton and R. Sebastiani, editor, Calculemus 2001, Siena, Italy
Original Titel:
System Description: Interface between Theorema and External Automated Deduction Systems
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of Calculemus 2001
Erscheinungsmonat:
6
Erscheinungsjahr:
2001
Notiz zum Zitat:
T. Kutsia, K. Nakagawa In S. Linton and R. Sebastiani, editor, Calculemus 2001, Siena, Italy