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

Publications Publikationen



Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Proof analysis by resolutionPr√§sentation Presentation2002