Options
Symbolic algebraic methods and verification methods
Publikationstyp
Book
Date Issued
2001
Sprache
English
Herausgeber*innen
Institut
TORE-URI
Citation
Springer 3-211-83593-8: (2001)
Publisher
Springer
ISBN
3-211-83593-8
DDC Class
510: Mathematik