17th European Summer School in Logic, Language and Information

Event name
17th European Summer School in Logic, Language and Information
 
Event type
Event for scientific audience
 
Start date
08-08-2005
End date
19-08-2005
 
Location
Edinburgh, Scotland
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Computational analysis of proofPr√§sentation Presentation2005