15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008)

Event name
15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008)
 
Event type
Event for scientific audience
 
Start date
22-11-2008
End date
27-11-2008
 
Location
Doha
Country
Qatar
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008