×

zbMATH — the first resource for mathematics

Found 4,006 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
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 137-147 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Part 2. Cham: Springer. Stud. Comput. Intell. 794, 1-17 (2019).
MSC:  68N17 03B52 68Q55
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