×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Dehne, Frank (ed.) et al., Algorithms and data structures. 11th international symposium, WADS 2009, Banff, Canada, August 21–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03366-7/pbk). Lecture Notes in Computer Science 5664, 144-155 (2009).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 190-203 (2003).
MSC:  68Q25 68Q17
PDF BibTeX XML Cite
Full Text: DOI