×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification