TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Event name
TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Start date
14-09-2005
End date
17-09-2005
Location
Koblenz, Germany
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian ; Beckert, Bernhard | Analytic Systems and Dialogue Games | Konferenzbeitrag Inproceedings  | 2005 |