20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011)
Event name
20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2011)
Event type
Event for scientific audience
Start date
04-07-2011
End date
08-07-2011
Location
Bern
Country
Switzerland
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).