×

zbMATH — the first resource for mathematics

Found 2,307 Documents (Results 1–100)

100
MathJax
Mathematical Surveys and Monographs 248. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5462-3/pbk; 978-1-4704-6018-1/ebook). ix, 330 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 248, No. 4, 457-466 (2020); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 148, 83-92 (2018).
MSC:  34C60 94C05 34C05
PDF BibTeX XML Cite
Full Text: DOI
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 113-129 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 454-460 (2019).
MSC:  68Q25 05D05 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
MSC:  03-02 03Exx 03A05
PDF BibTeX XML Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 21, 25 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 11, 16 p. (2018).
MSC:  68Q06 05D05 68Q17
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