AITP 2017 - The Second Conference on Artificial Intelligence and Theorem Proving
Event name
AITP 2017 - The Second Conference on Artificial Intelligence and Theorem Proving
Event type
Event for scientific audience
Start date
26-03-2017
End date
30-03-2017
Location
Obergurgl
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Reger, Giles ; Suda, Martin | Measuring progress to predict success: Can a good proof strategy be evolved? | Präsentation Presentation | 2017 |