×

zbMATH — the first resource for mathematics

Found 17,089 Documents (Results 1–100)

100
MathJax
LIPIcs – Leibniz International Proceedings in Informatics 184. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-176-4). xvi, 33 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7582-5). xiv, 520 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 179. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-168-9). xvi, 54 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Cybern. Syst. Anal. 56, No. 1, 100-109 (2020); translation from Kibern. Sist. Anal. 2020, No. 1, 118-128 (2020).
MSC:  93C10 93C15 93C73
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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