eBay |
Advances in the Design of Symbolic Computation Systems by Springer Verlag GmbH (Paperback, 1997)
Be the first to write a review.
OUR TOP PICK
$205.00
List price $295.99 Save 30%
Quantity
2 available
Condition
Brand new
Sold by
simplybestprices-10to20dayshipping (239525)98.3% positive Feedback
Returns
30 days money back
Buyer pays return postage
All listings for this product
item 2 - NEW Advances In The Design Of Symbolic Computation Systems BOOK (Paperback)
AU $234.00 Buy It Now
About this product
Description
- DescriptionNew methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods a la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.
Key Features
- PublisherSpringer Verlag GmbH
- Date of Publication27/03/1997
- LanguageEnglish
- FormatPaperback
- ISBN-103211828443
- ISBN-139783211828441
- SubjectComputing: Professional & Programming
- Series TitleTexts and Monographs in Symbolic Computation
Publication Data
- Place of PublicationVienna
- Country of PublicationAustria
- ImprintSpringer Verlag GmbH
- Content Note4 black & white illustrations, biography
Dimensions
- Weight391 g
- Width155 mm
- Height235 mm
- Spine14 mm
Credits
- Edited byAlfonso Miola,Marco Temperini
Editorial Details
- Format DetailsTrade paperback (US)
Question & Answers
Ask buyers and sellers about this product
Ask a questionSave on Non-Fiction Books
Peaceful Parent, Happy Kids: How to Stop Yelling and Start Connecting Markham, L
AU $17.95Trending at AU $23.55Letters to You by Miriam Hathaway (Hardback, 2015)
AU $32.88Trending at AU $36.70Easiest Piano Course Complete - Boxed Set (Books 1-4 with CD) Thompson
AU $37.69Trending at AU $48.07Golden Universal Tarot Deck by Lo Scarabeo.
AU $30.58Trending at AU $37.48The Big Book of Granny Squares: 365 Crochet Motifs by Tracey Lord.
AU $44.08Trending at AU $51.53Dare: The New Way to End Anxiety and Stop Panic Attacks Barry McDonagh
AU $23.80Trending at AU $32.83Awaken the Giant Within: How to Take Immediate Control of Your Mental, Emotional
AU $16.92Trending at AU $19.26
You may also like
This item doesn't belong on this page.
Thanks, we'll look into this.