×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 305-314 (2012).
MSC:  03D78 03B25 03D15
BibTeX Cite
Full Text: DOI
WorldCat.org
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26--29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 286-300 (2012).
MSC:  03B35 03B25
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Classification
Software