×

zbMATH — the first resource for mathematics

Found 1,320 Documents (Results 1–100)

100
MathJax
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) (ISBN 978-1-4503-7104-9). 768-781 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
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
Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-50875-3/hbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 156-176 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 149-172 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 223-235 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Student Mathematical Library 88. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4399-3/pbk; 978-1-4704-5261-2/ebook). xiii, 237 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 4057-4073 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 473-492 (2018).
MSC:  03B55 03F03 03F05
PDF BibTeX XML Cite
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 95-110 (2018).
MSC:  03B50 03C40
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer Spektrum (ISBN 978-3-662-56236-9/pbk; 978-3-662-56237-6/ebook). xi, 209 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Unitext 111. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-3967-4/pbk; 978-88-470-3968-1/ebook). xiii, 439 p. (2018).
MSC:  03-01 03F40 03Exx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 6, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

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