GCAI 2017. 3rd Global Conference on Artificial Intelligence
Book title Buchtitel
GCAI 2017. 3rd Global Conference on Artificial Intelligence
Publisher Herausgeber
EasyChair EPiC Series in Computing
Place of publishing Erscheinungsort
Volume 50
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 |