Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Intelligent Computer Mathematics

Intelligent Computer Mathematics

MKM, Calculemus, DML, and Systems and Projects 2013, Held As Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Intelligent Computer Mathematics( )
Editor: Carette, Jacques
Aspinall, David
Lange, Christoph
Sojka, Petr
Windsteiger, Wolfgang
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-39319-8
Publication Date:Jul 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $83.00
Book Description:

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...
More Description

Book Details
Pages:384
Detailed Subjects: Mathematics / Discrete Mathematics
Computers / Intelligence (Ai) & Semantics
Mathematics / General
Mathematics / Algebra / General
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.32 Inches
Book Weight:1.344 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Savvy
Law, Ingrid
Paperback: $7.99
Faithful
Hoffman, Alice
Electronic book text: $26.00
Moonglow
Chabon, Michael
Paperback: $18.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.