12th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR)

Event name
12th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR)
 
Event type
Event for scientific audience
 
Start date
02-12-2005
End date
06-12-2005
 
Location
Montego Bay, Jamaica
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias On interpolation in existence logicsPr√§sentation Presentation2005