Title: Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, Lecture Notes In Artificial Intelligence)
Publisher: Springer
Binding: Soft cover
Condition: New

Store Description

We are new to the on-line trade but with solid experience of two decades, we carry large stocks of books on various subjects in our show room. The subjects we carry in stock are - Academic, Ancient & Classical Art, Archaeology, Architecture, Art History, Astrology, Auto- biographies, Books from India, Biology, Biographies, Computer Science, Dictionaries, Decorative Art, Design, Economics, Ethnic Arts & Crafts, Fashion & Jewellery, Gardens & Landscape Design, Geography, Graphics, History, Homeopathy, Karma, Language, Law, Linguistics, Medicine, Modern & Contemporary Art, Music & Performing Art, Mythology & Religion, Numismatics, Philately, Pleasure, Political Science, Photography, Research, Science & Environment, Scientific, Style & Interiors, Technical, Terrorism, Textiles & Carpets, Travel & Topography, Western Art, Wildlife, Yoga.

Visit Seller's Storefront

Seller's business information

Books in my Basket
India

Sale & Shipping Terms

Terms of Sale

All books are new, otherwise mentioned. Books can be
returned if found damaged during shipment or the wrong
title has been supplied. Books are shipped by SAL Mail (non -trackable service), The books can also be
shipped by Fedex/DHL, kindly mail us for the rates.

Right of cancellation

Shipping Terms

Orders usually ship within 3-5 business days. Shipping costs are based on books weighing 1.5 LB, or 800 gms. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from India to United Kingdom

Shipping rates from India to United Kingdom
Order quantity	25 to 30 business days	15 to 20 business days
First item	� 11.34	� 17.44

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.

Payment Methods

You can pay with your credit card on AbeBooks.com.

Add to Wants

Items related to Towards Mechanized Mathematical Assistants: 14th Symposium,...

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, Lecture Notes In Artificial Intelligence)

Manuel Kauers, Manfred Kerber, Robert Miner

New - Soft cover

About this Item

Bibliographic Details