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

This book constitutes the joint refereed proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2009 and the 8th International Conference on Mathematical Knowledge Management, MKM 2009, held in Grand Bend, Canada, as CICM 2009, the Conferenc...

Celý popis

Podrobná bibliografie

Další autoři:	Carette, Jacques (Editor) Dixon, Lucas (Editor) Coen, Claudio Sacerdoti (Editor) Watt, Stephen M (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2009
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-02614-0 9783642026133
Témata:	informatika počítače numerická analýza vyhledávání v datech umělá inteligence
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!