×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 134-149 (2008).
MSC:  68N18 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org
Proceedings of the 5th ACM SIGPLAN international conference on functional programming, ICFP ’00, Montréal, Canada, September 18–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-202-6). ACM SIGPLAN Notices 35, No. 9, 174-185 (2000).
MSC:  68N18
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software