The theorema environment for interactive proof development. Contributed talk at (2005)

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