×

zbMATH — the first resource for mathematics

Found 254 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 147-161 (2020).
PDF BibTeX XML Cite
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 33-47 (2020).
PDF BibTeX XML Cite
Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDF BibTeX XML Cite
Full Text: DOI
Leitgeb, Hannes (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 15th international congress, Helsinki, Finland, August 3–8, 2015. London: College Publications (ISBN 978-1-84890-229-9/pbk). 125-135 (2017).
MSC:  03A05
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 87-105 (2016).
MSC:  03B60
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). 127-147 (2015).
MSC:  03A05 03B10
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). 13-31 (2015).
MSC:  03A05 03B10
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, 105-124 (2015).
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, 75-83 (2014).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 168-183 (2014).
MSC:  68T15 03B35 68T20
PDF BibTeX XML Cite
Full Text: DOI
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 25-34 (2012).
MSC:  03B60 03B10
PDF BibTeX XML Cite
Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 163-175 (2012).
PDF BibTeX XML Cite
Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 91-98 (2011).
MSC:  03B50 03B35
PDF BibTeX XML Cite
Nouwen, Rick (ed.) et al., Vagueness in communication. International workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20–24, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18445-1/pbk). Lecture Notes in Computer Science 6517. Lecture Notes in Artificial Intelligence, 51-63 (2011).
MSC:  03A05 03B22
PDF BibTeX XML Cite
Full Text: DOI
Rudolph, Sebastian (ed.) et al., Conceptual structures: Leveraging semantic technologies. 17th international conference on conceptual structures, ICCS 2009, Moscow, Russia, July 26–31, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03078-9/pbk). Lecture Notes in Computer Science 5662. Lecture Notes in Artificial Intelligence, 201-218 (2009).
MSC:  68T27 68U35
PDF BibTeX XML Cite
Full Text: DOI

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