Stock image for illustration purposes only - book cover, edition or condition may vary.
Intelligent Computer Mathematics
. Ed(S): Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang
€ 63.36
FREE Delivery in Ireland
Description for Intelligent Computer Mathematics
Paperback. Editor(s): Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 400 pages, 100 black & white illustrations, biography. BIC Classification: UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with ... Read more
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
400
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
384
Place of Publication
Berlin, Germany
ISBN
9783642393198
SKU
V9783642393198
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Intelligent Computer Mathematics