# 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
Full Text:
MSC:  68U99
Full Text:
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