×

zbMATH — the first resource for mathematics

Found 513 Documents (Results 1–100)

100
MathJax
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 165-183 (2015).
MSC:  03B53 03C90 03B50
PDF BibTeX XML Cite
Full Text: DOI
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 257-275 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Trends in Science. The South of Russia. Mathematical Monograph 6. Vladikavkaz: Southern Mathematical Institute, Vladikavkaz Scientific Center, Russian Academy of Sciences (ISBN 978-5-904695-24-8). iv, 405 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 144-154 (2013).
MSC:  03C90 03C40 54E35
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 280-295 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., 8th international workshop on quantum physics and logic, Nijmegen, Netherlands, October 27–29, 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electronic Proceedings in Theoretical Computer Science (EPTCS) 95, 211-218 (2012).
MSC:  81S30 03C90 93B70
PDF BibTeX XML Cite
Full Text: Link
Jacobs, Bart (ed.) et al., 8th international workshop on quantum physics and logic, Nijmegen, Netherlands, October 27–29, 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electronic Proceedings in Theoretical Computer Science (EPTCS) 95, 1-14 (2012).
PDF BibTeX XML Cite
Full Text: Link
Fajstrup, Lisbeth (ed.) et al., Proceedings of the 9th workshop on geometric and topological methods in computer science (GETCO), Aalborg, Denmark, January 11–15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 283, 159-177 (2012).
MSC:  94C10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Strüngmann, Lutz (ed.) et al., Groups and model theory. In honor of Rüdiger Göbel’s 70th birthday. Proceedings of the conference, conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany, May 30 – June 3, 2011. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-6923-9/pbk; 978-0-8218-9098-1/ebook). Contemporary Mathematics 576, 89-94 (2012).
MSC:  03C90 03C64
PDF BibTeX XML Cite
Hart, Bradd (ed.) et al., Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18–20, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7281-9/pbk). CRM Proceedings and Lecture Notes 53, 1-27 (2011).
PDF BibTeX XML Cite

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
Software