×

Found 26 Documents (Results 1–26)

100
MathJax

Semiotic and cognitive science essays on the nature of mathematics. (English) Zbl 1314.00079

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

Mathematics as metaphor. Selected essays of Yuri I. Manin. With foreword by Freeman J. Dyson. (English) Zbl 1172.00003

Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4331-4/hbk). xvii, 232 p. (2007).
PDF BibTeX XML Cite

Probabilistic guarded commands mechanized in HOL. (English) Zbl 1272.68258

Cerone, A. (ed.) et al., Proceedings of the second workshop on quantitative aspects of programming languages (QAPL 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 112, 95-111 (2005).
MSC:  68Q60 68N30 68T15
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software