14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007
Event name
14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007
Event type
Event for scientific audience
Start date
15-10-2007
End date
19-10-2007
Location
Erivan, Armenia
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Preining, Norbert | Gödel logics, Kripke frames, and beyond | Präsentation Presentation | 2007 | |
| 2 | Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian | Monadic fragments of Gödel logics: decidability and undecability results | Präsentation Presentation | 2007 |