The Theorema Environment for Interactive Proof Development, December 3 2005. Contributed talk at (0)

by Florina Piroi, Temur Kutsia
Venue:12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR’05