×

zbMATH — the first resource for mathematics

Found 1,067 Documents (Results 1–100)

100
MathJax
Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 255-282 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Li, Deng-Feng (ed.), Game theory. Third East Asia game theory international conference, EAGT 2019, Fuzhou, Fujian, China, March 7–9, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1082, 43-56 (2019).
MSC:  91A12 91A43
PDF BibTeX XML Cite
Full Text: DOI
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21461-6/pbk; 978-3-030-21462-3/ebook). Lecture Notes in Computer Science 11511. Lecture Notes in Artificial Intelligence, 110-129 (2019).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 11813, 399-412 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 819-828 (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. 199-218 (2018).
MSC:  03B45 03B20 03B44
PDF BibTeX XML Cite
Full Text: arXiv
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. 63-82 (2018).
MSC:  03B45 68Q17
PDF BibTeX XML Cite
Sialaros, Michalis (ed.), Revolutions and continuity in Greek mathematics. Berlin: De Gruyter (ISBN 978-3-11-056365-8/hbk; 978-3-11-056595-9/ebook). Science, Technology, and Medicine in Ancient Cultures 8, 319-333 (2018).
MSC:  01A20
PDF BibTeX XML Cite
Full Text: DOI
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 17-34 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 351-360 (2017).
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, 212-226 (2017).
MSC:  68P15 03B70
PDF BibTeX XML Cite
Full Text: DOI
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 (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 491-500 (2017).
MSC:  68T37
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