10th International Workshop On User Interfaces for Theorem Provers
Event name
10th International Workshop On User Interfaces for Theorem Provers
Start date
11-07-2013
Location
Bremen
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 | Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan ; Kaliszyk, Cezary | Prooftool: a GUI for the GAPT Framework | Konferenzbeitrag Inproceedings  | 2013 |