Intelligent Computer Mathematics _ 11th International Conference

Jeuring, Johan, ed

ISBN 10: 3642313736 ISBN 13: 9783642313738

Published by Springer-Verlag, Berlin, 2012

Language: English

Condition: Used - Very good Soft cover

Save for Later

Sold by San Francisco Book Company, Paris, France

Heritage Bookseller
AbeBooks Seller since November 9, 1999

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price:

US$ 24.67

US$ 53.90 shipping
Ships from France to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

wraps 471 pp.

Seller Inventory # P31797

Contact seller

Report this item

Bibliographic Details

Title

Intelligent Computer Mathematics _ 11th International Conference

Publisher

Springer-Verlag, Berlin

Publication Date

2012

Language

English

ISBN 10

3642313736

ISBN 13

9783642313738

Binding

Paperback

Edition

Paperback Small Quarto.

Condition

Very good

Seller catalogs

About this title

Synopsis

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.

From the Back Cover

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.
The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.

"About this title" may belong to another edition of this title.

Store Description

The San Francisco Book Company is located on the Left Bank in Paris, France. The nearest Metro is Odeon Line 4 or Line 10. We are a generalist used bookshop specializing in books in English. Our website is www.sfparis.com

Visit Seller's Storefront

Seller's business information

San Francisco Book Company
France

Sale & Shipping Terms

Terms of Sale

We accept payment by Visa, Mastercard, PayPal(paypal@sfparis.com), International Money Order, cash sent by registered letter, and checks in EUROS drawn on FRENCH BANKS only. Books are returnable for a full refund within 10 days of receipt after notification to seller.

Shipping Terms

Postal rates may be adjusted due to the weight and size of the order.

Shipping rates from France to U.S.A.

Shipping rates from France to U.S.A.
Order quantity	20 to 40 business days	20 to 40 business days
First item	US$ 53.90	US$ 71.86

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.