Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Design and Implementation of Symbolic Computation Systems - International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings (Paperback, 1996 ed.) Loot Price: R1,743

Discovery Miles 17 430

Repayment Terms: R163 pm x 12*

Add to cart

Design and Implementation of Symbolic Computation Systems - International Symposium, DISCO '96, Karlsruhe, Germany,...

Design and Implementation of Symbolic Computation Systems - International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings (Paperback, 1996 ed.)

Jacques Calmet, Carla Limongelli

Series: Lecture Notes in Computer Science, 1128

(sign in to rate)

Loot Price R1,743 Discovery Miles 17 430 | Repayment Terms: R163 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1128
Release date:	2001
First published:	1996
Editors:	Jacques Calmet • Carla Limongelli
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	362
Edition:	1996 ed.
ISBN-13:	978-3-540-61697-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-61697-7
Barcode:	9783540616979