Produkt
KlappentextThis book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.
Details
Weitere ISBN/GTIN9783540730866
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2007
Erscheinungsdatum15.08.2007
Auflage2007
Seiten410 Seiten
SpracheEnglisch
IllustrationenXIII, 410 p.
Artikel-Nr.9241751
Rubriken
Genre9200