×

zbMATH — the first resource for mathematics

Found 211 Documents (Results 1–100)

100
MathJax
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., 83-110 (2016).
MSC:  03A05 03B42
PDF BibTeX XML Cite
Full Text: DOI
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 34, 18 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 127-137 (2014).
MSC:  03A05 03B42
PDF BibTeX XML Cite
Full Text: DOI
Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 103-126 (2014).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 201-212 (2012).
MSC:  03B65 03B15
PDF BibTeX XML Cite
Full Text: DOI
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 37-48 (2012).
MSC:  03A05
PDF BibTeX XML Cite
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 31-36 (2012).
MSC:  03B45 03A05
PDF BibTeX XML Cite
Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 53-71 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 389-402 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 107-123 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 9-30 (2009).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 143-176 (2008).
MSC:  03B65 03B42 03E70
PDF BibTeX XML Cite
Logic, Epistemology, and the Unity of Science 12. Berlin: Springer (ISBN 978-1-4020-8589-5/hbk; 978-1-4020-8590-1/ebook). xiii, 303 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI
Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 187-211 (2002).
MSC:  03B53 68T27
PDF BibTeX XML Cite
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 153-172 (2002).
MSC:  03B47
PDF BibTeX XML Cite
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 73-90 (2002).
MSC:  03B45
PDF BibTeX XML Cite
Cavedon, Lawrence (ed.) et al., Logic, language and computation. Vol. 3. Proceedings of the 3rd international conference on information-theoretic approaches to logic, language, and computation (ITALLC), Hsi-tou, Taiwan, June 16-19, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 111, 147-159 (2000).
MSC:  03B65 03B42
PDF BibTeX XML Cite
Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 254-266 (1998).
MSC:  03B42 68T27 03B70
PDF BibTeX XML Cite
Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 240-253 (1998).
MSC:  03B70 68T30
PDF BibTeX XML Cite
Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 129-140 (1998).
MSC:  03B45 68T37 68T27
PDF BibTeX XML Cite
Grundy, Jim (ed.) et al., Theorem proving in higher order logics. 11th international conference, TPHOLs ’98. Canberra, Australia, September 27 - October 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1479, 443-460 (1998).
MSC:  03B35 03B47 03B15 68T15
PDF BibTeX XML Cite
Phaenomenologica. 145. Dordrecht: Kluwer Academic Publishers. x, 217 p. (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software