×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 17, 17 p. (2017).
MSC:  68T05 68T50
BibTeX Cite
Full Text: DOI
WorldCat.org
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 205-212 (2015).
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software