×

zbMATH — the first resource for mathematics

Found 306 Documents (Results 1–100)

100
MathJax
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer (ISBN 978-3-030-53653-4/hbk; 978-3-030-53654-1/ebook). Logic, Epistemology, and the Unity of Science 49, 53-92 (2021).
MSC:  03A05 03Bxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 9, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
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, 311-331 (2019).
MSC:  03A05
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, 324-335 (2019).
MSC:  68T37
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, 27-38 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 442, 588-597 (2014).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 79-101 (2014).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 35-40 (2014).
MSC:  03-03 01A70
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., New studies in weak arithmetics. Stanford, CA: CSLI Publications; Paris: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est. CSLI Lect. Notes 211, 229-269 (2013).
MSC:  03F25 03F30
PDF BibTeX XML Cite

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
Biographic Reference
all top 3
Software