×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
New York, NY: Apress (ISBN 978-1-4842-4214-8/pbk; 978-1-4842-4215-5/ebook). xxiv, 700 p. (2019).
MSC:  68-01 68-02 68T05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 749-758 (2018).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
all top 3
Software