×

zbMATH — the first resource for mathematics

Found 68 Documents (Results 1–68)

100
MathJax
Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 241-272 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 197-208 (2018).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 371-386 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-1-107-10422-8/hbk; 978-1-316-21931-7/ebook). xvii, 827 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Moktefi, Amirouche (ed.) et al., Visual reasoning with diagrams. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0599-5/pbk; 978-3-0348-0600-8/ebook). Studies in Universal Logic, 101-133 (2013).
MSC:  03B20 03B60 03B25
PDF BibTeX XML Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 6-21 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Van Kerkhove, Bert (ed.) et al., Philosophical perspectives on mathematical practice. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26–28, 2007. London: College Publications (ISBN 978-1-904987-59-8/hbk). Texts in Philosophy 12, 235-267 (2010).
PDF BibTeX XML Cite
Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 307-319 (2009).
MSC:  03B99
PDF BibTeX XML Cite
Blackwell, Alan (ed.) et al., Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21268-X/pbk). Lecture Notes in Computer Science 2980. Lecture Notes in Artificial Intelligence, 51-65 (2004).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Blackwell, Alan (ed.) et al., Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21268-X/pbk). Lecture Notes in Computer Science 2980. Lecture Notes in Artificial Intelligence, 235-238 (2004).
MSC:  68T15 68U05
PDF BibTeX XML Cite
Full Text: DOI
Blackwell, Alan (ed.) et al., Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21268-X/pbk). Lecture Notes in Computer Science 2980. Lecture Notes in Artificial Intelligence, 82-96 (2004).
MSC:  68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 371-386 (2001).
PDF BibTeX XML Cite
Full Text: Link
Anderson, Michael (ed.) et al., Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1-3, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1889, 26-41 (2000).
MSC:  03E20 68N30 68T27
PDF BibTeX XML Cite
Bachmair, Leo (ed.), Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10-12, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1833, 95-109 (2000).
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