22th International Conference, TABLEAUX 2013
Event name
22th International Conference, TABLEAUX 2013
Start date
16-09-2013
End date
19-09-2013
Location
Nancy, France
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil | Understanding resolution proofs through Herbrand's Theorem | Konferenzbeitrag Inproceedings  | 2013 |