MPG.eBooks - Search Results - "Symbol"

Search alternatives:
symbol » symbols , symbolic

Cover Image

1

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

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”

Cover Image

2

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

Published 2002

Springer Berlin Heidelberg

Subjects: “...Symbolic and Algebraic Manipulation...”