×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 238-255 (2001).
MSC:  68Q65 68Q85
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification