×

zbMATH — the first resource for mathematics

Found 4,430 Documents (Results 1–100)

100
MathJax
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 161-180 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 507-520 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 479-491 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 252-265 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 311-328 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
De Gruyter Studium. Berlin: De Gruyter (ISBN 978-3-11-069714-8/pbk; 978-3-11-069739-1/ebook). xii, 435 p. (2020).
MSC:  03-01 03B05 03B10
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 426-448 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Peirceana 1. Berlin: De Gruyter (ISBN 978-3-11-064934-5/hbk; 978-3-11-065140-9/ebook). xx, 664 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 211-228 (2019).
PDF BibTeX XML Cite
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 297-312 (2019).
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. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 133-152 (2019).
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