Cover Image

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 /

Bibliographic Details
Corporate Authors:	AISC (Conference) Birmingham, England), SpringerLink (Online service), Calculemus (Symposium), MKM (Conference)
Other Authors:	Autexier, Serge
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2008]
Series:	Lecture notes in computer science ; 5144. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Algebra > Data processing > Congresses. Artificial intelligence > Congresses. Computer networks > Congresses. Data mining > Congresses. Electronic data processing > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

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 /
Published: (2010)

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /
Published: (2007)

Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings /
Published: (2008)

Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006 ; proceedings /
Published: (2006)

Computer algebra in scientific computing : 10th international workshop, CASC 2007, Bonn, Germany, September 16-20, 2007 : proceedings /
Published: (2007)

Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
Published: (2009)

Computer algebra in scientific computing : CASC 2005 : 8th International Workshop, CSAC 2005, Kalamata, Greece, September 12-16, 2005 /
Published: (2005)

Intelligent computer mathematics : 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings /
Published: (2009)

Digital information processing and communications : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings.
Published: (2011)

Digital information processing and communications : International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings.
Published: (2011)

Rough sets and current trends in computing : 6th international conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008 : proceedings /
Published: (2008)

Artificial intelligence and soft computing - ICAISC 2008 : 9th international conference, Zakopane, Poland, June 22-26, 2008 : proceedings /
Published: (2008)

Rough sets and knowledge technology : third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings /
Published: (2008)

Comparative evaluation of focused retrieval : 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vught, The Netherlands, December 13-15, 2010 : revised selected papers /
Published: (2011)

Modeling decisions for artificial intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
Published: (2008)

Artificial intelligence: methodology, systems, and applications : 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008 ; proceedings /
Published: (2008)

Advances in conceptual modeling - challenges and opportunities : ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008 : proceedings /
Published: (2008)

Knowledge management and acquisition for smart systems and services : 11th international workshop, PKAW 2010, Daegu, Korea, August 20-September 3, 2010 : proceedings /
Published: (2010)

Advances in focused retrieval : 7th international workshop of the Initiative for the Evaluation of Xml Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers /
Published: (2009)

PRICAI 2008, trends in artificial intelligence : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008 : proceedings /
Published: (2008)

MICAI 2008 : advances in artificial intelligence : 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 : proceedings /
Published: (2008)

Advances in information processing and protection /
Published: (2007)

Advances in artificial intelligence--IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008, proceedings /
Published: (2008)

Artificial intelligence: theories, models and applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
Published: (2008)

International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008) /
Published: (2009)

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
Published: (2008)

Advances in data mining : medical applications, e-commerce, marketing, and theoretical aspects : 8th industrial conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008 : proceedings /
Published: (2008)

KI 2008: advances in artificial intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008 ; proceedings /
Published: (2008)

Advances in computing and communications : first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.
Published: (2011)

Advances in computing and communications : first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.
Published: (2011)

Advances in computing and communications : first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings. Part III /
Published: (2011)

New frontiers in applied data mining : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, revised selected papers /
Published: (2009)

Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
Published: (2008)

New frontiers in artificial intelligence : JSAI 2008 conference and workshops, Asahikawa, Japan, June 11-13, 2008 : revised selected papers /
Published: (2009)

Trust in agent societies : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008 : revised selected and invited papers /
Published: (2008)

AI 2008 : advances in artificial intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008, proceedings /
Published: (2008)

Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings /
Published: (2007)

Advances in artificial intelligence : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008 : proceedings /
Published: (2008)

Structural information and communication complexity : 15th international colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008 : proceedings /
Published: (2008)

Algebraic informatics : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings /
Published: (2011)