Browsing by Subject Web interfaces for proof systems
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 15-May-2007 | GeoThms - a Web System for Euclidean Constructive Geometry | Quaresma, Pedro; Janičić, Predrag |