×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 203-216 (2001).
MSC:  68T15
BibTeX Cite
Full Text: DOI
WorldCat.org
Bert, Didier (ed.) et al., Recent trends in algebraic development techniques. 14th international workshop, WADT ’99, Château de Bonas, France, September 15-18, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1827, 73-88 (2000).
MSC:  68Q65
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software