. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540851097 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 41,69 €, größter Preis: 96,29 €, Mittelwert: 85,37 €
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 - 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, 600, [GW: 914g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (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, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings - Autexier, Serge (Herausgeber); Campbell, John (Herausgeber); Rubio, Julio (Herausgeber); Sorge, Volker (Herausgeber); Suzuki, Masakazu (Herausgeber); Wiedijk, Freek (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Autexier, Serge (Herausgeber); Campbell, John (Herausgeber); Rubio, Julio (Herausgeber); Sorge, Volker (Herausgeber); Suzuki, Masakazu (Herausgeber); Wiedijk, Freek (Herausgeber):
Intelligent Computer Mathematics 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings - neues Buch

2008, ISBN: 3540851097

ID: A6001422

2008 Kartoniert / Broschiert Data Mining (EDV), Informationssystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Netzwerk (elektronisch), COMPUTERS / Intelligence (AI) & Semantics, COMPUTERS / Computer Science, COMPUTERS / Networking / General, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten: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 - 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 - neues Buch

ISBN: 9783540851097

ID: 9783540851097

Computer Science; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Theory of Computation; Data Mining and Knowledge Discovery; Information Systems Applications (incl. Internet); Symbolic and Algebraic Manipulation Artificial intelligence, ants, computer, computer algebra, intelligence, knowledge, knowledge management, proving Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: 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, , Geen versendingskosten in Duitsland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Intelligent Computer Mathematics

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 24.07.2017 15:13:18
ISBN/EAN: 9783540851097

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


< zum Archiv...
Benachbarte Bücher