Rideau laurence (5 risultati)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,11
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. 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 th…e 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,04
EUR 14,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,74
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 30,90
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture rigide. Condizione: bon. RO20246610: 2011. In-4. Relié. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur frais. 88 pages - Abondantes illustrations, couleur et noir/blanc, dans le texte + 1 DVD "les premieres heures du stade geoffroy guichard, un film de paul guichard circa 1931, d'environ 9mns". Nombreux f…ac similies rangés dans des pochettes / planches dépliantes . Le tout regroupé dans un emboitage cartonné rigide. 2 photos disponibles. . Sous Emboitage. . Classification Dewey : 796.334-Football.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 30,98
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
