×

zbMATH — the first resource for mathematics

Found 63 Documents (Results 1–63)

100
MathJax
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 469-483 (2013).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 279-303 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Prikl. Mekh. Tekh. Fiz. 40, No. 2, 163-173 (1999); translation in J. Appl. Mech. Tech. Phys. 40, No. 2, 331-340 (1999).
MSC:  74C05 74A60
PDF BibTeX XML Cite
Parker, D. F. (ed.) et al., IUTAM symposium on anisotropy, inhomogeneity and nonlinearity in solid mechanics. Proceedings of the IUTAM-ISIMM symposium, Nottingham, UK, August 30 - September 3, 1994. Dordrecht: Kluwer Academic Publishers. Solid Mech. Appl. 39, 77-90 (1995).
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
all top 3
Software