Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570381
Price: 51.65 EUR
Availability: InStock
Author: Serge Autexier
ISBN: 9783540851097

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Language

English

Book Paperback

Libristo code: 01570381

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2008

This book constitutes the joint refereed proceedings of the 9th International Conference on Artifici... Full description

Libristo code: 01570381

125 b

51.65 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Souvenirs Entomologiques: Etudes Sur l'Instinct Et Les Moeurs Des Insectes. Serie 9 FABRE-J

Paperback

30.22 €

Seul le silence R.J. Ellory

Paperback

27.29 €

LOS COMPACUENTOS LOS COMPAS Y LA MANSION DE CHOCOLATE MIKECRACK

Book

20.31 €

Musik für Blechbläserseptett Vol.7 George Gershwin

Audio CD

13.74 €

Historia de las Indias por Bartolomé de las Casas 4º parte Salvá Munar

Hardback

75.91 €

Calendrier du Paris Saint-Germain 2022 collegium

Hardback

22.13 €

Villages Truffiers (Les) N

Paperback

18.29 €

Stavnsbandet Peter Henningsen

Adobe ePub DRM

24.45 €

LE TAROT DE MARSEILLE - COFFRET - LE LIVRE & LE JEU OFFICIEL DE 78 LAMES Silvestre

binding.

32.34 €

Cahier: Retour ? l'école, rentrée scolaire - Cahier quadrillé 5x5 grand format (A4), 120 pages - Licorne Caroline Picot

Paperback

7.67 €

Dünya Tarihi Atlasi Hermann Kinder

Paperback

13.13 €

Glück(lich) bin ICH Ayse Zülfer Avciogullari

Paperback

5.65 €

Astonishing X-Men, Imparable John . . . [et al. ] Cassaday

Paperback

23.54 €

Telearbeit Erfolgreich Realisieren Norbert Kordey

Paperback

67.42 €

I sogni dell'Anarchico Ugo Mioni

Paperback

11.72 €

CD-Najkrajšie rozprávky P. Dobšinského(3) neuvedený autor

Audio CD

4.94 €

Oz Hans Christian Andersen

Hardback

26.78 €

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.§The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.