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

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:	September 1996
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
LSN:	3-540-61697-7
Barcode:	9783540616979

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!