zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 303-317 (2007).
MSC:  68T27 68T30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication