LPAR-22: 22nd. International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View Statistics Email Alert RSS Feed

Description

Event name
LPAR-22: 22nd. International Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
Start date
16-11-2018
End date
21-11-2018
 
Location
Äthiopien
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018