×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–3)

Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 232-242 (2009).
MSC:  68T30 68T27
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software