×

zbMATH — the first resource for mathematics

Found 194 Documents (Results 1–100)

100
MathJax
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 1-2 (2013).
MSC:  68T15 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI
Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 163-179 (2013).
MSC:  68T15 03B35 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI
Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 2 (2011).
MSC:  68T15 03B35 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI
Shum, K. P. (ed.) et al., Advances in algebra. Proceedings of the ICM satellite conference in algebra and related topics, Hong Kong, China, August 14–17, 2002. River Edge, NJ: World Scientific (ISBN 981-238-260-7/hbk). 148-156 (2003).
MSC:  51A40
PDF BibTeX XML Cite
London Mathematical Society Lecture Note Series. 272. Cambridge: Cambridge University Press. vii, 154 p. (2000).
PDF BibTeX XML Cite
Hitz, Markus (ed.) et al., Second international symposium on parallel symbolic computation, PASCO ’97, Maui, HI, USA, July 20–22, 1997. New York, NY: ACM Press. 130-138 (1997).
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
all top 3
Software