1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016
Event name
1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016
Event type
Event for scientific audience
Start date
03-04-2016
End date
07-04-2016
Location
Obergurgl
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin | When Should We Add Theory Axioms And Which Ones? | Präsentation Presentation | 2016 |