Eingeladener Vortrag an Universitaet
Event name
Eingeladener Vortrag an Universitaet
Event type
Event for scientific audience
Start date
10-09-2004
Location
Universitaet Utrecht, Niederlande
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander | CERES: Cut-Elimination by Resolution | Präsentation Presentation | 2004 | |
| 2 | Gramlich, Bernhard | Strategien in Computationaler Logik | Präsentation Presentation | 2004 |