2nd Workshop of the Joint Project
Event name
2nd Workshop of the Joint Project
Event type
Event for scientific audience
Start date
26-10-2011
End date
28-10-2011
Location
Innsbruck
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rukhaia, Mikheil | CERES for Propositional Proof Schemata | Präsentation Presentation | 2011 |