×

zbMATH — the first resource for mathematics

Found 22 Documents (Results 1–3)

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-72043-2/pbk; 978-3-319-72044-9/ebook). Lecture Notes in Computer Science 10644, 120-134 (2017).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software