Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570381
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

11 504 Ft

Seul le silence R.J. Ellory

Paperback

9 775 Ft

Stavnsbandet Peter Henningsen

Adobe ePub DRM

8 574 Ft

I sogni dell'Anarchico Ugo Mioni

Paperback

4 543 Ft

Calendrier du Paris Saint-Germain 2022 collegium

Hardback

7 931 Ft

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

Hardback

29 432 Ft

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

Audio CD

4 895 Ft

Villages Truffiers (Les)

Paperback

9 027 Ft

Telearbeit Erfolgreich Realisieren Norbert Kordey

Paperback

25 998 Ft

Oz Hans Christian Andersen

Hardback

10 390 Ft

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

Paperback

9 221 Ft

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

Paperback

2 930 Ft

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

Paperback

2 168 Ft

Dünya Tarihi Atlasi Hermann Kinder

Paperback

5 070 Ft

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.