Teimuraz Kutsia, Florina Piroi,
"The Theorema Environment for Interactive Proof Development"
, in G. Sutcliffe, A. Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR'05, Serie Lecture Notes in Artificial Intelligence, Vol. 3835, Springer Verlag, Seite(n) 261--275, 2005, ISBN: 3-540-30553-X
Original Titel:
The Theorema Environment for Interactive Proof Development
Sprache des Titels:
Englisch
Original Buchtitel:
Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR'05
Forschungs-