International Conference on Intelligent Computer Mathematics (CICM)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Intelligent Computer Mathematics (CICM)
 
Start date
13-07-2015
End date
17-07-2015
 
Location
Washington, DC, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kotelnikov, Evgenii ; Kovacs, Laura ; Voronkov, Andrei A First Class Boolean Sort in First-Order Theorem Proving and TPTPKonferenzbeitrag Inproceedings2015
2Kovács, Laura ; Lachnitt, Hanna ; Szeider, Stefan Formalizing Graph Trail Properties in Isabelle/HOLKonferenzbeitrag Inproceedings 2020