Stock image for illustration purposes only - book cover, edition or condition may vary.
Intelligent Computer Mathematics
. Ed(S): Watt, Stephen M.; Sexton, Alan; Davenport, James H.; Sojka, Petr; Urban, Josef
€ 65.64
FREE Delivery in Ireland
Description for Intelligent Computer Mathematics
paperback. Editor(s): Watt, Stephen M.; Sexton, Alan; Davenport, James H.; Sojka, Petr; Urban, Josef. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 478 pages, 111 black & white illustrations, biography. BIC Classification: UGD; UNH; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - ... Read more
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
478
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
460
Place of Publication
Cham, Switzerland
ISBN
9783319084336
SKU
V9783319084336
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Intelligent Computer Mathematics