Intelligent computer mathematics: 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings
Beteiligte: Davenport, James Harold [Hrsg.]
Veranstaltung: Calculemus MKM
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6824
Umfang: XIII, 312 S.; graph. Darst
Sprache: Englisch
ISBN: 3642226728; 9783642226724
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80074368
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Künstliche Intelligenz > Computeralgebra > Automatisches Beweisverfahren
Mathematik > Wissensmanagement
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings