×

zbMATH — the first resource for mathematics

Found 676 Documents (Results 1–100)

100
MathJax
Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019).
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, 342-355 (2019).
MSC:  03B70
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. 219-235 (2018).
MSC:  03B45 03G25
PDF BibTeX XML 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. 123-142 (2018).
MSC:  03B42 03B05
PDF BibTeX XML Cite
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017).
MSC:  03F20 03C13
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 239-255 (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 (ISBN 978-3-319-61580-6/pbk; 978-3-319-61581-3/ebook). Lecture Notes in Computer Science 10369. Lecture Notes in Artificial Intelligence, 353-363 (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-31219-4/pbk; 978-3-319-31220-0/ebook). Lecture Notes in Computer Science 9559, 195-205 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 253-278 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 129-181 (2016).
MSC:  03B60 03B47 03F03
PDF BibTeX XML 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). 288-301 (2016).
MSC:  03B45
PDF BibTeX XML Cite
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). 97-116 (2016).
MSC:  03B42 03B20
PDF BibTeX XML Cite
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 217-231 (2016).
MSC:  68Q60 03B25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 179-188 (2015).
MSC:  03B62 03B42 03B45
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 267-279 (2015).
MSC:  03B47
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 185-201 (2015).
MSC:  03F05 03B53
PDF BibTeX XML Cite
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 253-262 (2015).
MSC:  03A05 03B05 03B60
PDF BibTeX XML Cite
Full Text: DOI
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 170-200 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 95-126 (2015).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI
Banerjee, Mohua (ed.) et al., Logic and its applications. 6th Indian conference, ICLA 2015, Mumbai, India, January 8–10, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-45823-5/pbk). Lecture Notes in Computer Science 8923, 146-157 (2015).
MSC:  03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 129-142 (2014).
MSC:  03B45 03A05
PDF BibTeX XML Cite
Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 253-266 (2014).
MSC:  68T27 03B42
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
Biographic Reference
all top 3
Software