. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
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: 45,58 €, größter Preis: 547,37 €, Mittelwert: 166,76 €
Intelligent Computer Mathematics - Serge Autexier
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Serge Autexier:

Intelligent Computer Mathematics - Taschenbuch

2008, ISBN: 9783540851097

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 914g]

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
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: 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.

< zum Suchergebnis...
Details zum Buch
Intelligent Computer Mathematics
Autor:

Serge Autexier

Titel:

Intelligent Computer Mathematics

ISBN-Nummer:

9783540851097

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 17.01.2017 13:50:38
ISBN/EAN: 9783540851097

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher