. .
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: 63.04 EUR, größter Preis: 117.60 EUR, Mittelwert: 95.83 EUR
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... (Lecture Notes in Computer Science) - Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton:

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... (Lecture Notes in Computer Science) - Taschenbuch

2010, ISBN: 3642141277

[SR: 10113712], Paperback, [EAN: 9783642141270], Springer, Springer, Book, [PU: Springer], Springer, Thisvolumecontainsthecollectedcontributionsofthreeconferences, AISC2010, Calculemus 2010 and MKM 2010. AISC 2010 was the 10th International C- ference on Arti?cial Intelligence and symbolic computation. Its area of concern is the use of AI techniques within symbolic computation as well as the appli- tion of symbolic computation to AI problem solving. Calculemus 2010 was the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, dedicated to the combination of computer algebra systems and - tomated deduction systems. MKM 2010 was the 9th International Conference on Mathematical KnowledgeManagement, an emerging interdisciplinary?eld of research in the intersection of mathematics, computer science, library science, andscienti?cpublishing. Allthreeconferencesarethusconcernedwithproviding intelligent computer mathematics. Although the conferences have separate c- munities and separate foci, there is a signi?cant overlap of interest in building systems for intelligent computer mathematics. As in 2008 and 2009, the three events were colocated. In 2010 this was at the Conservatoire National des Arts et M etiers (CNAM), Paris, France, under the umbrellaoftheConferencesonIntelligentComputerMathematics(CICM2010), organized by Renaud Rioboo and Laurence Rideau. This collocation is intended to counteract the tendency towards fragmentation of communities working on di?erent aspects of various independent branchesof our general?eld; traditional branches (e. g., computer algebra, theorem proving and arti?cial intelligence in general), as well as newly emerging ones (on user interfaces, knowledge mana- ment, theory exploration, etc. ). This also facilitates the development of systems for intelligent computer mathematics that will be routinely used by mathema- cians, computer scientists and engineers in their every-day work.", 280291, Intelligence & Semantics, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3654, Data Mining, 549646, Databases & Big Data, 5, Computers & Technology, 1000, Subjects, 283155, Books, 10806588011, Data Processing, 549646, Databases & Big Data, 5, Computers & Technology, 1000, Subjects, 283155, Books, 379365011, Internet & Networking, 549652, Hardware & DIY, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3705, Internet, Groupware, & Telecommunications, 3652, Networking & Cloud Computing, 5, Computers & Technology, 1000, Subjects, 283155, Books, 10806617011, Storage & Retrieval, 377894011, Network Administration, 3652, Networking & Cloud Computing, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3870, Algorithms, 132570011, Data Structures, 3880, Genetic, 3882, Memory Management, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13887, Algebra, 13889, Abstract, 13893, Elementary, 13897, Intermediate, 13899, Linear, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 491298, Algorithms, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491300, Artificial Intelligence, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491306, Database Storage & Design, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491542, Algebra & Trigonometry, 468218, Mathematics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Neues Buch Amazon.com
ABE-IPS
, Neuware Versandkosten:Usually ships in 1-2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics - Herausgegeben von Autexier, Serge Calmet, Jacques Delahaye, David Ion, P.D.F. Rideau, Laurence
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Herausgegeben von Autexier, Serge Calmet, Jacques Delahaye, David Ion, P.D.F. Rideau, Laurence:

Intelligent Computer Mathematics - Taschenbuch

2010, ISBN: 9783642141270

[ED: Softcover], [PU: Springer, Berlin], Thisvolumecontainsthecollectedcontributionsofthreeconferences,AISC2010, Calculemus 2010 and MKM 2010. AISC 2010 was the 10th International C- ference on Arti?cial Intelligence and symbolic computation. Its area of concern is the use of AI techniques within symbolic computation as well as the appli- tion of symbolic computation to AI problem solving. Calculemus 2010 was the 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, dedicated to the combination of computer algebra systems and - tomated deduction systems. MKM 2010 was the 9th International Conference on Mathematical KnowledgeManagement, an emerging interdisciplinary?eld of research in the intersection of mathematics, computer science, library science, andscienti?cpublishing. Allthreeconferencesarethusconcernedwithproviding intelligent computer mathematics. Although the conferences have separate c- munities and separate foci, there is a signi?cant overlap of interest in building systems for intelligent computer mathematics. As in 2008 and 2009,the three events were colocated. In 2010 this was at the Conservatoire National des Arts et M etiers (CNAM), Paris, France, under the umbrellaoftheConferencesonIntelligentComputerMathematics(CICM2010), organized by Renaud Rioboo and Laurence Rideau. This collocation is intended to counteract the tendency towards fragmentation of communities working on di?erent aspects of various independent branchesof our general?eld traditional branches (e. g. , computer algebra, theorem proving and arti?cial intelligence in general), as well as newly emerging ones (on user interfaces, knowledge mana- ment, theory exploration, etc. ). This also facilitates the development of systems for intelligent computer mathematics that will be routinely used by mathema- cians, computer scientists and engineers in their every-day work. 2010. xv, 471 S. 71 SW-Abb. Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
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: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International - neues Buch

2010

ISBN: 9783642141270

ID: 978364214127

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010.All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication.The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively. Books, Science and Nature, Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Books>Science and Nature, Springer Berlin Heidelberg

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - Autexier, Serge (Herausgeber); Calmet, Jacques (Herausgeber); Delahaye, David (Herausgeber); Ion, P. D. F. (Herausgeber); Rideau, Laurence (Herausgeber); Rioboo, Renaud (Herausgeber); Sexton, Alan P. (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Autexier, Serge (Herausgeber); Calmet, Jacques (Herausgeber); Delahaye, David (Herausgeber); Ion, P. D. F. (Herausgeber); Rideau, Laurence (Herausgeber); Rioboo, Renaud (Herausgeber); Sexton, Alan P. (Herausgeber):
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings - neues Buch

2010, ISBN: 3642141277

ID: A9599663

Kartoniert / Broschiert Data Mining (EDV), Datenverarbeitung / Informationsmanagement, Informationssystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), 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: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... / Lecture Notes in Artificial Intelligence)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... / Lecture Notes in Artificial Intelligence) - Taschenbuch

2010, ISBN: 3642141277

ID: 17982777843

[EAN: 9783642141270], Neubuch, [PU: Springer]

Neues Buch Abebooks.de
English-Book-Service Mannheim, Mannheim, Germany [1048135] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 2893.39
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... / Lecture Notes in Artificial Intelligence)
Autor:

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton

Titel:

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... / Lecture Notes in Artificial Intelligence)

ISBN-Nummer:

3642141277

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

Detailangaben zum Buch - Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... / Lecture Notes in Artificial Intelligence)


EAN (ISBN-13): 9783642141270
ISBN (ISBN-10): 3642141277
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
469 Seiten
Gewicht: 0,736 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 20.01.2007 21:51:26
Buch zuletzt gefunden am 20.11.2016 11:55:17
ISBN/EAN: 3642141277

ISBN - alternative Schreibweisen:
3-642-14127-7, 978-3-642-14127-0

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