×

zbMATH — the first resource for mathematics

Found 4,011 Documents (Results 1–100)

100
MathJax
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
Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 354-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 277-278 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alexander (ed.), Logic, language, and mathematics. Themes from the philosophy of Crispin Wright. Oxford: Oxford University Press (ISBN 978-0-19-927834-3/hbk). 154-173 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Studies in Computational Intelligence 862. Cham: Springer (ISBN 978-3-030-35444-2/hbk; 978-3-030-35447-3/pbk; 978-3-030-35445-9/ebook). xiv, 792 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Skansi, Sandro (ed.), Guide to deep learning basics. Logical, historical and philosophical perspectives. Cham: Springer. 29-40 (2020).
MSC:  68T37 03B52
PDF BibTeX XML Cite
Full Text: DOI
Manna, Santanu (ed.) et al., Mathematical modelling and scientific computing with applications. Proceedings of the international conference, ICMMSC 2018, Indore, India, July 19–21, 2018. Singapore: Springer. Springer Proc. Math. Stat. 308, 315-324 (2020).
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