Gentzen Centenary, Computer Science Logic 2009

Event name
Gentzen Centenary, Computer Science Logic 2009
 
Event type
Event for scientific audience
 
Start date
07-09-2009
End date
11-09-2009
 
Location
Coimbra, Portugal
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Reasoning in the presence of formal contradictionsPräsentation Presentation2009