Articles liés à Intelligent Computer Mathematics: 9th International...
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July/August 2008, Proceedings - Couverture souple
Synopsis
Thisvolumecontainsthecollectedcontributionsofthreeconferences, AISC2008, Calculemus 2008, and MKM 2008. AISC 2008 was the 9th International C- ference on Arti?cial Intelligence and Symbolic Computation that is concerned with the use of AI techniques within symbolic computation as well as the - plication of symbolic computation to AI problem solving. Calculemus 2008 was the 15th Symposium on the Integration of Symbolic Computation and Mec- nized Reasoning dedicated to the combination of computer algebra systems and automated deduction systems. MKM 2008 was the 7th International Conference on Mathematical KnowledgeManagement, an emerging interdisciplinary?eld of research in the intersection of mathematics, computer science, library science, andscienti?cpublishing. Allthreeconferencesarethusingeneralconcernedwith providingintelligent computer mathematics. Although the conferences haves- aratecommunitiesandseparatefoci, thereisasigni?cantoverlapintheinterests in building systems for intelligent computer mathematics. For this reason it was decided to collocate the three events in 2008, at the University of Birmingham, UK. While the proceedings are shared, the submission process was separate. The responsibility for acceptance/rejection rests completely with the three P- gramme Committees. By this collocation we made a contribution against the fragmentation of communities which work on di?erent aspects of di?erent in- pendent branches, traditionalbranches(e. g., computer algebra, theoremproving and arti?cial intelligence in general), as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc. ). This will also - cilitate the development of systems for intelligent computer mathematics that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business. In total, 37 papers were submitted to AISC.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540851097
- ISBN 13 9783540851097
- ReliureBroché
- Langueanglais
- Nombre de pages620
- ÉditeurAutexier Serge
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 30,60
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Intelligent Computer Mathematics: 9th International...
Image d'archives
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-1331
Quantité disponible : 1 disponible(s)
Image d'archives
Intelligent Computer Mathematics: 9Th International Conference, Aisc 2008 15Th Symposium
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-271071
Quantité disponible : 4 disponible(s)
Image d'archives
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
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 620 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 4564564/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics. Proceedings.
Edité par
Springer. Berlin., 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Ancien ou d'occasion
Couverture souple
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. XIV, 600 P. Inside with owner notice, otherwise in very clean condition. English Language. Lecture notes in computer science ; Vol. 5144 : Lecture notes in artificial intelligence. From the contents: This volume contains the collected contributions of tree conferences, AISC 2008, Calculemus 2008, and MKM 2008.; - The LNAI series reports state-of-the-art results in artificial intelligence research, development, and education, at a high level and in both printed and electronic form. - With Figures. deu B12-03-04A|GH47|14007BB Sprache: Deutsch Gewicht in Gramm: 444 23,5 x 15,5 cm. Original Paperback in good condition. N° de réf. du vendeur 20854
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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,. N° de réf. du vendeur 4901410
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
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
Edité par
Springer Berlin Heidelberg, 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540851097
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics
Edité par
Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 620 pp. Englisch. N° de réf. du vendeur 9783540851097
Quantité disponible : 2 disponible(s)
Image d'archives
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... (Lecture Notes in Computer Science, 5144)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540851097_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Intelligent Computer Mathematics
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10 : 3540851097
ISBN 13 : 9783540851097
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch. N° de réf. du vendeur 9783540851097
Quantité disponible : 2 disponible(s)
Image d'archives
Intelligent Computer Mathematics
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 622. N° de réf. du vendeur 26345651
Quantité disponible : 4 disponible(s)