. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540851097 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 41,69 €, größter Preis: 547,37 €, Mittelwert: 155,84 €
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... /
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / - gebrauchtes Buch

2008, ISBN: 9783540851097

ID: 3f7ea2141e97c23c1c969748e6bef2a6

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 paper 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., [PU: Springer, Berlin/Heidelberg]

gebrauchtes bzw. antiquarisches Buch Medimops.de
Nr. M03540851097 Versandkosten:, 3, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - John Campbell, Julio Rubio, Volker Sorge
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Campbell, Julio Rubio, Volker Sorge:
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - neues Buch

2008, ISBN: 3540851097

ID: 20391866242

[EAN: 9783540851097], Neubuch, Computers & the Internet|Artificial Intelligence, Computers & the Internet|Database Management|Data Mining, Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!, [PU: Springer, Berlin/Heidelberg]

Neues Buch Abebooks.de
firstbookstore, New Delhi, India [56533785] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - John Campbell, Julio Rubio, Volker Sorge
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Campbell, Julio Rubio, Volker Sorge:
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - neues Buch

2008, ISBN: 3540851097

ID: 20959195502

[EAN: 9783540851097], Neubuch, Computers & the Internet|Artificial Intelligence, Computers & the Internet|Database Management|Data Mining, Ships from multiple locations. FedEx or DHL 4-6 business days delivery to your doorstep, [PU: Springer, Berlin/Heidelberg]

Neues Buch Abebooks.de
Basi6 International, Irving, TX, U.S.A. [63714625] [Rating: 4 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics - Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk:
Intelligent Computer Mathematics - Taschenbuch

2008, ISBN: 9783540851097

ID: 9404857

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings, 2008, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - John Campbell, Julio Rubio, Volker Sorge
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Campbell, Julio Rubio, Volker Sorge:
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium - gebrauchtes Buch

2008, ISBN: 9783540851097

ID: 863983876

Springer. INDIAN EDITIONS. New. New New Good Books, Springer

gebrauchtes bzw. antiquarisches Buch Biblio.com
uJustBuy
Versandkosten: EUR 14.25
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Intelligent Computer Mathematics
Autor:

Serge Autexier

Titel:

Intelligent Computer Mathematics

ISBN-Nummer:

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.

Detailangaben zum Buch - Intelligent Computer Mathematics


EAN (ISBN-13): 9783540851097
ISBN (ISBN-10): 3540851097
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
600 Seiten
Gewicht: 0,914 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 24.09.2008 16:58:29
Buch zuletzt gefunden am 21.04.2017 15:50:34
ISBN/EAN: 3540851097

ISBN - alternative Schreibweisen:
3-540-85109-7, 978-3-540-85109-7


< zum Archiv...
Benachbarte Bücher