International Conference on Intelligent Computer Mathematics (CICM)
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
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kotelnikov, Evgenii ; Kovacs, Laura ; Voronkov, Andrei ; Kerber, Manfred | A First Class Boolean Sort in First-Order Theorem Proving and TPTP | Konferenzbeitrag Inproceedings | 2015 | |
| 2 | Kovács, Laura ; Lachnitt, Hanna ; Szeider, Stefan | Formalizing Graph Trail Properties in Isabelle/HOL | Konferenzbeitrag Inproceedings  | 2020 |