Peripatetic Group on Logic and Category Theory
Event name
Peripatetic Group on Logic and Category Theory
Event type
Event for scientific audience
Start date
30-11-2001
Location
Calgary, Alberta, Canada
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Baaz, Matthias | Proof analysis by resolution | Präsentation Presentation | 2002 |