IWIL 2017 - 12th International Workshop on the Implementation of Logics
Event name
IWIL 2017 - 12th International Workshop on the Implementation of Logics
Event type
Event for scientific audience
Start date
07-05-2017
Location
Maun, Botswana
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Recent Improvements of Theory Reasoning in Vampire | Präsentation Presentation | 2017 | |
| 2 | Reger, Giles ; Suda, Martin | Set of Support for Theory Reasoning | Konferenzbeitrag Inproceedings  | 2017 |