×

zbMATH — the first resource for mathematics

Found 704 Documents (Results 1–100)

100
MathJax
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, 594-609 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 744-759 (2019).
MSC:  68T27
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. 367-386 (2018).
MSC:  03B45
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. 219-235 (2018).
MSC:  03B45 03G25
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 28, 17 p. (2017).
MSC:  03B60 03B45 68Q25
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). 165-181 (2017).
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). 503-519 (2016).
MSC:  03B70 03B50 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). 288-301 (2016).
MSC:  03B45
PDF BibTeX XML Cite
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 33, 18 p. (2016).
MSC:  03B70 03B05 03B45
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 441-456 (2016).
MSC:  68Q85 03B45 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
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 41, 292-307 (2015).
MSC:  03B60 03B45
PDF BibTeX XML Cite
Full Text: DOI arXiv
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, 417-487 (2015).
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
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). 333-352 (2014).
MSC:  03B45 03B70
PDF BibTeX XML Cite
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). 74-93 (2014).
MSC:  03B70 03B45 68Q45
PDF BibTeX XML Cite
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). 34-53 (2014).
PDF BibTeX XML Cite
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). 16-33 (2014).
MSC:  03B70 03B45
PDF BibTeX XML Cite
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
Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 5-18, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
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, 179-201 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Mathesis. Paris: Librairie Philosophique J. Vrin (ISBN 978-2-7116-2457-7/pbk). 332 p. (2013).
PDF BibTeX XML Cite
Studienbücher Informatik. Wiesbaden: Springer Vieweg (ISBN 978-3-8348-1887-4/pbk; 978-3-8348-2295-6/ebook). xii, 232 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Logic, language, and computation. 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011, Kutaisi, Georgia, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-36975-9/pbk). Lecture Notes in Computer Science 7758, 94-114 (2013).
MSC:  03B65 03B45
PDF BibTeX XML Cite
Full Text: DOI
IfColog Proceedings 2. London: College Publications (ISBN 978-1-84890-079-0). xiv, 145 p. (2012).
PDF BibTeX XML Cite
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 170-183 (2012).
MSC:  03B45 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 95-107 (2011).
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