×

zbMATH — the first resource for mathematics

Found 1,355 Documents (Results 1–100)

100
MathJax
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 3. Hackensack, NJ: World Scientific (ISBN 978-981-12-0243-8/hbk; 978-981-12-0238-4/set; 978-981-12-0240-7/ebook). 2547-2563 (2021).
MSC:  91G30 62P05
PDF BibTeX XML Cite
Full Text: DOI
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 215-247 (2019).
MSC:  03A05 00A30 03B30
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 (ISBN 978-3-030-20446-4/hbk; 978-3-030-20447-1/ebook). Synthese Library 412, 203-234 (2019).
MSC:  03A05
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 (ISBN 978-3-030-20446-4/hbk; 978-3-030-20447-1/ebook). Synthese Library 412, 101-112 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 144-155 (2019).
MSC:  03F15 03B30
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 236-247 (2019).
MSC:  03B70
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