×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–3)

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
Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21--24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 140-157 (2011).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Journal
Year of Publication
Classification
Software