×

zbMATH — the first resource for mathematics

Found 355 Documents (Results 1–100)

100
MathJax
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 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. 541-558 (2018).
MSC:  03B45 03F45
PDF BibTeX Cite
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. 237-346 (2018).
MSC:  03B45 03F45
PDF BibTeX 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. 13-27 (2018).
MSC:  03B45 03F45
PDF BibTeX Cite
Full Text: arXiv
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, 313-332 (2017).
MSC:  03B45 03F45
PDF BibTeX Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 1-20 (2016).
MSC:  03F45 03B45 03F30
PDF BibTeX Cite
Proc. Steklov Inst. Math. 289, 194-212 (2015); translation from Tr. Mat. Inst. Steklova 289, 206-226 (2015).
PDF BibTeX Cite
Full Text: DOI
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 257-275 (2015).
PDF BibTeX Cite
Full Text: DOI
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 186-195 (2015).
PDF BibTeX Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 217-233 (2014).
MSC:  03F45 03G25 03B45
PDF BibTeX Cite
Choban, Mitrofan (ed.) et al., The third conference of the Mathematical Society of the Republic of Moldova dedicated to the 50th anniversary of the foundation of the Institute of Mathematics and Computer Science, ASM, Chişinău, Republic of Moldova, August 19–23, 2014. Abstracts. Chişinău: Academy of Sciences of Moldova, Institute of Mathematics and Computer Science (ISBN 978-9975-68-244-2/pbk). Proceedings IMCS-50, 98-101 (2014).
MSC:  03F45 03G25
PDF BibTeX 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, 249-263 (2014).
PDF BibTeX 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