×

zbMATH — the first resource for mathematics

Found 302 Documents (Results 1–100)

100
MathJax
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
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 47-54 (2011).
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
Biographic Reference
all top 3
Software