skip to content
Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings Preview this item
ClosePreview this item

Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings

Author: James Harold Davenport; et al
Publisher: Berlin ; New York : Springer, ©2011.
Series: LNCS sublibrary., SL 7,, Artificial intelligence.; Lecture notes in computer science, 6824.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Conference publication : English : 1st edView all editions and formats
Database:WorldCat
Summary:
Annotation This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy,  Read more...
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Electronic books
Conference proceedings
Congresses
Additional Physical Format: Print version:
Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (18th : 2011 : Bertinoro, Italy).
Intelligent computer mathematics.
New York : Springer, 2011
(DLC) 2011932178
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: James Harold Davenport; et al
ISBN: 9783642226731 3642226736
OCLC Number: 747413721
Description: 1 online resource (xiii, 312 p.) : ill. (some col.)
Series Title: LNCS sublibrary., SL 7,, Artificial intelligence.; Lecture notes in computer science, 6824.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: Calculemus 2011
MKM 2011
Responsibility: James H. Davenport ... [et al.], (eds.).

Abstract:

Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th  Read more...
Retrieving notes about this item Retrieving notes about this item

Reviews

User-contributed reviews
Retrieving GoodReads reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.