Fourth Vampire Workshop - VAMPIRE 2017
Event name
Fourth Vampire Workshop - VAMPIRE 2017
Event type
Event for scientific audience
Start date
07-08-2017
Location
Gothenburg, Sweden
Country
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 | Incremental Solving with Vampire | Präsentation Presentation | 2017 | |
| 2 | Reger, Giles ; Suda, Martin | Local proofs and AVATAR | Präsentation Presentation | 2017 |