Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 chapters)
-
Front Matter
-
State of the art and motivations
-
Front Matter
-
-
Mathematical objects
-
Front Matter
-
-
Reasoning capabilities
-
Front Matter
-
About this book
Editors and Affiliations
-
Dipartimento di Informatica e Automazione, Università degli Studi di Roma Tre, Rome, Italy
Alfonso Miola
-
Dipartimento di Informatica e Sistemistica, Università degli Studi di Roma “La Sapienza”, Rome, Italy
Marco Temperini
Bibliographic Information
Book Title: Advances in the Design of Symbolic Computation Systems
Editors: Alfonso Miola, Marco Temperini
Series Title: Texts & Monographs in Symbolic Computation
DOI: https://doi.org/10.1007/978-3-7091-6531-7
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag/Wien 1997
Softcover ISBN: 978-3-211-82844-1Published: 27 March 1997
eBook ISBN: 978-3-7091-6531-7Published: 06 December 2012
Series ISSN: 0943-853X
Series E-ISSN: 2197-8409
Edition Number: 1
Number of Pages: X, 276
Number of Illustrations: 4 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Theory of Computation, Programming Techniques, Symbolic and Algebraic Manipulation, Algorithms