Cited By
View all- Sutcliffe G(2007)The 3rd IJCAR Automated Theorem Proving CompetitionAI Communications10.5555/1365518.136552120:2(117-126)Online publication date: 1-Apr-2007
- Asperti ASacerdoti Coen CTassi EZacchiroli S(2007)User Interaction with the Matita Proof AssistantJournal of Automated Reasoning10.1007/s10817-007-9070-539:2(109-139)Online publication date: 1-Aug-2007
- Zimmer JAutexier S(2006)The mathserve system for semantic web reasoning servicesProceedings of the Third international joint conference on Automated Reasoning10.1007/11814771_12(140-144)Online publication date: 17-Aug-2006