Teimuraz Kutsia, Koji Nakagawa,
"An Interface between Theorema and External Automated Deduction Systems."
, in Steve Linton and Roberto Sebastiani: Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001., Seite(n) 178-182, 6-2001
Original Titel:
An Interface between Theorema and External Automated Deduction Systems.
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001.
Forschungs-