- 5 Results
Lowest price: € 6.67, highest price: € 107.44, average price: € 52.15
1
Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium
Order
at amazon.de
€ 12.99
Shipment: € 3.001
Order
Provider details
Sponsored link

Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium - hardcover

2001, ISBN: 9781568811451

A K Peters, Gebundene Ausgabe, Auflage: Illustrated, 270 Seiten, Publiziert: 2001-06-01T00:00:01Z, Produktgruppe: Buch, 1.25 kg, Verkaufsrang: 262158, Computer & Internet, Kategorien, Büc… More...

Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Howbooks
close (x)
2
Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium
Order
at amazon.de
€ 12.99
Shipment: € 3.001
Order
Provider details
Sponsored link
Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium - hardcover

2001, ISBN: 9781568811451

A K Peters, Gebundene Ausgabe, Auflage: Illustrated, 270 Seiten, Publiziert: 2001-06-01T00:00:01Z, Produktgruppe: Buch, 1.25 kg, Computer & Internet, Kategorien, Bücher, Algebra & Zahlent… More...

Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Howbooks
close (x)
3
Order
at Biblio.co.uk
$ 118.73
(aprox. € 107.44)
Shipment: € 12.161
Order
Provider details
Sponsored link
Calculemus-2000 Symposium/ Kerber, Manfred/ Kohlhase, Michael/ Symposium on the Integration (Corporate Author):
Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium - hardcover

2000

ISBN: 9781568811451

A K Peters Ltd, 2001. Hardcover. New. 270 pages. 6.50x9.25x0.75 inches., A K Peters Ltd, 2001, 6

Shipping costs: EUR 12.16 Revaluation Books
close (x)
4
Order
at alibris.co.uk
€ 6.67
Order
Details & Shipping
Sponsored link
Kerber, Manfred (Editor), and Kohlhase, Michael (Editor):
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium - hardcover

2001, ISBN: 9781568811451

Hard cover, Very Good., Glued binding. Paper over boards. 288 p. Contains: Diagrams, Figures., Oxford, [PU: A K PETERS]

Shipping costs:plus shipping costs Hereford, Hay-on-Wye Booksellers
close (x)
5
Order
at Biblio.co.uk
$ 29.74
(aprox. € 25.12)
Shipment: € 10.981
Order
Provider details
Sponsored link
Editor-Manfred Kerber; Editor-Michael Kohlhase:
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium - hardcover

2000, ISBN: 9781568811451

A K Peters/CRC Press, 2001-04-02. Hardcover. Good., A K Peters/CRC Press, 2001-04-02, 2.5

Shipping costs: EUR 10.98 Ergodebooks
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium
Author:
Title:
ISBN:

1568811454


While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.

Details of the book - Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium


EAN (ISBN-13): 9781568811451
ISBN (ISBN-10): 1568811454
Hardcover
Publishing year: 2001
Publisher: Manfred Kerber, Michael Kohlhase, A K Peters
288 Pages
Weight: 0,562 kg
Language: eng/Englisch

Book in our database since 2007-10-04T11:18:28+01:00 (London)
Book found last time on 2024-12-28T04:53:55+00:00 (London)
ISBN/EAN: 1568811454

ISBN - alternate spelling:
1-56881-145-4, 978-1-56881-145-1
Alternate spelling and related search-keywords:
Book author: manfred michael, kohlhase, kohlhaas, kerber
Book title: automated reasoning, calculemus, symposium

More/other books that might be very similar to this book

Latest similar book:
9781439864234 Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase)

< to archive...