Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Intelligent Computer Mathematics: Cicm 2014 Joint Events: Calculemus, Dml, Mkm, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Intelligent Computer Mathematics: Cicm 2014 Joint Events: Calculemus, Dml, Mkm, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings (Paperback)

£57.99
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

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 - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.

Computing & ITComputer scienceArtificial intelligenceComputing & ITComputer scienceMathematical theory of computationMaths for computer scientistsComputing & ITDatabasesInformation retrievalComputing & ITGraphical & digital media applicationsDesktop publishing Publisher: Springer International Publishing AG Publication Date: 04/06/2014 ISBN-13: 9783319084336  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Stephen M. Watt

More books by Alan Sexton

More books by James H. Davenport

More books by Petr Sojka

More books by Josef Urban

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Graph Theory
(Hardback)
Reinhard Diestel
 
 
£49.99
 
Pyomo - Optimization Modeling in Python
(Hardback)
William E. Hart; Jean-Paul Watson;...
 
 
£42.99
 
Practical Statistics for Data...
(Paperback)
Peter Bruce; Andrew Bruce
 
 
£31.99
 
Feistel Ciphers: Security Proofs and...
(Hardback)
Valerie Nachef; Jacques Patarin;...
 
 
£71.00
 
Latest Blog
ZED Books: The role of the independent publisher in a content-obsessed world
18/08/2017

Indie publisher ZED Books have a radical approach to their books and their company structure. Here, they talk to us about the role independent publishers can play in a world of ever expanding (and less than reliable) information sources.

Blog - J R Wallis on Monsters as Metaphors
16/08/2017

J R Wallis questions the conventional view of monsters as metaphors for the worries we have about the state of the world around us.

#FoylesFive: Creative Women
14/08/2017

Meg from the Web Team tells us why she loves to learn about creative, dynamic women.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd