×

zbMATH — the first resource for mathematics

Found 62 Documents (Results 1–62)

100
MathJax
Chubb, Jennifer (ed.) et al., Logic and algebraic structures in quantum computing. Based on a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, Washington, DC, USA, March 17–20, 2010. Cambridge: Cambridge University Press (ISBN 978-1-107-03339-9/hbk; 978-1-139-51968-7/ebook). Lecture Notes in Logic 45, 199-222 (2016).
PDF BibTeX XML Cite
Full Text: 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, 135-169 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 5th international workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7693, 50-69 (2013).
MSC:  03A10 00A71 03B65
PDF BibTeX XML Cite
Full Text: DOI
Heinecke, Berthold (ed.) et al., Gottfried Wilhelm Leibniz (1646–1716) und die gelehrte Welt Europas um 1700. Aachen: Shaker Verlag (ISBN 978-3-8440-1733-5/pbk). Europäische Wissenschaftsbeziehungen 6, 35-58 (2013).
PDF BibTeX XML Cite
Internationale Hochschulschriften 588. Münster: Waxmann; Zürich: Univ. Zürich, Philosophische Fakultät (Diss. 2012) (ISBN 978-3-8309-2815-7/pbk; 978-3-8309-7815-2/ebook). 347 p. (2013).
MSC:  97-02 97C50 97C70
PDF BibTeX XML Cite
Interdisciplinary Studies on the Nature of Mathematics 1. München: LINCOM Europa (ISBN 978-3-86288-332-5/hbk). 339 p. (2012).
PDF BibTeX XML Cite
Cognitive Technologies. Berlin: Springer (ISBN 978-3-642-17088-1/hbk; 978-3-642-17089-8/ebook). xii, 217 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 17-38 (2010).
MSC:  03B65 68T37
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, 205-233 (2010).
MSC:  00A30 03A05
PDF BibTeX XML Cite
Löwe, Benedikt (ed.) et al., PhiMSAMP. Philosophy of Mathematics: Sociological aspects and mathematical practice. Including selected papers of the 3rd PhiMSAMP conference ‘Is mathematics special?’, Vienna, Austria, 2008. London: College Publications (ISBN 978-1-904987-95-6/pbk). Texts in Philosophy 11, 281-291 (2010).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Andrade Cetto, Juan (ed.) et al., Informatics in control automation and robotics. Selected papers from the international conference on informatics in control automation and robotics 2006 (ICINCO), Setúbal, Portugal, August 1–5, 2006. Berlin: Springer (ISBN 978-3-540-79141-6/hbk). Lecture Notes in Electrical Engineering 15, 277-291 (2008).
MSC:  93C85 93A30 68T40
PDF BibTeX XML Cite
Full Text: DOI
Moskva: Izd.-Vo. MTSNMO (ISBN 978-5-94057-287-9). 400 p. (2008).
PDF BibTeX XML Cite
van Benthem, Johan (ed.) et al., The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Dordrecht: Springer (ISBN 978-1-4020-5011-4/hbk; 978-1-4020-5012-7/e-book). Logic, Epistemology, and the Unity of Science 3, 299-310 (2006).
MSC:  03A05
PDF BibTeX XML Cite
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI
Mahwah, NJ: Lawrence Erlbaum Associates. x, 411 p. (2000).
MSC:  00A35 97-06 00B10
PDF BibTeX XML Cite
Stanford, CA: Stanford University Press. xii, 203 p. £25.00/hbk; £9.95/pbk (1993).
MSC:  00A30 00-02
PDF BibTeX XML Cite
Bloomington, IN: Indiana University Press. xli, 399 p. (1992).
MSC:  01A75 01A55
PDF BibTeX XML Cite
Cambridge Series on Human-Computer Interaction. 3. Cambridge, UK: University Press. VII, 416 p. (1990).
MSC:  68-02 68U99 91F20
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
Biographic Reference