Design and Implementation of Symbolic Computation Systems Carla Limongelli
Titel: Design and Implementation of Symbolic Computation Systems, Untertitel: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings, Einband: Taschenbuch, Autor: Carla Limongelli, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 376, Maße: 235x155x21 mm, Gewicht: 569 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Allgemeines Symbol - Symbolik Algebraic Specification Algebraische Spezifikation Autmatisches Theorembeweisen Computeralgebra Geometry Mathematical Software Systems Mathematische Softwaresysteme algorithms automated theorem proving computer algebra computer-assisted surgery programming programming language proving system.
Jetzt bei Ebay:
