×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 84-98 (2005).
MSC:  68T15 03B35
BibTeX Cite
Full Text: DOI
WorldCat.org
Beckert, Bernhard (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14–17, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28931-3/pbk). Lecture Notes in Computer Science 3702. Lecture Notes in Artificial Intelligence, 48-62 (2005).
MSC:  03B15 03B35
BibTeX Cite
Full Text: DOI
WorldCat.org
Bonacina, Paola (ed.) et al., STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 2, 189-202 (2001).
MSC:  68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software