GCAI 2017 / 3rd Global Conference on Artificial Intelligence
Event name
GCAI 2017 / 3rd Global Conference on Artificial Intelligence
Start date
19-10-2017
End date
22-10-2017
Location
Miami, USA
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Jakubuv, Jan ; Suda, Martin ; Urban, Josef | Automated Invention of Strategies and Term Orderings for Vampire | Konferenzbeitrag Inproceedings  | 2017 |