×

zbMATH — the first resource for mathematics

Found 867 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). 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-50878-4/pbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020).
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. Lect. Notes Comput. Sci. 11541, 223-235 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Mathematics. Singapore: Springer (ISBN 978-981-13-9948-0/pbk; 978-981-13-9949-7/ebook). xiv, 122 p. (2019).
MSC:  03-02 03F35 03F40
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
Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 251-262 (2017).
MSC:  03B50 68T30
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 404-416 (2017).
MSC:  03B44 03B50 03B70
PDF BibTeX XML Cite
Full Text: DOI
Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 95-105 (2017).
MSC:  03E72 03G25
PDF BibTeX XML Cite
Full Text: DOI
Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 269-291 (2017).
PDF BibTeX XML Cite
Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 353-363 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-54299-6/pbk; 978-3-662-54300-9/ebook). xi, 356 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-319-42119-3/hbk; 978-3-319-42120-9/ebook). x, 315 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Horsten, Leon (ed.) et al., Gödel’s disjunction. The scope and limits of mathematical knowledge. Oxford: Oxford University Press. 254-271 (2016).
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