zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 182 (2008).
MSC:  68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication