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

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	AISC (BerichterstatterIn), Calculemus (BerichterstatterIn), MKM (BerichterstatterIn)
Weitere Verfasser:	Autexier, Serge (HerausgeberIn), Campbell, John (BerichterstatterIn), Rubio, Julio (BerichterstatterIn), Sorge, Volker (BerichterstatterIn), Suzuki, Masakazu (BerichterstatterIn), Wiedijk, Freek (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 5144 : Lecture notes in artificial intelligence
Schlagworte:	Algebra > Data processing > Artificial intelligence > Computer networks > Data mining > Electronic data processing > Konferenzschrift > Künstliche Intelligenz > Computeralgebra > Automatisches Beweisverfahren > Mathematik > Wissensmanagement
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!