×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 1-21 (2000).
MSC:  68U99 68N15 68Q60
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software