Titre: Theorem Proving In Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)
�diteur: Springer
Reliure: Soft cover
�tat de l'article: New

Description de la librairie

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.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Books in my Basket
India

Conditions de vente et de livraison

Conditions g�n�rales de vente

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.

Conditions d'exp�dition

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.

Modes de paiement

Vous pouvez payer par carte de cr�dit sur AbeBooks.com.

Ajouter aux demandes de livres

Articles li�s � Theorem Proving In Higher Order Logics: 21st International...

Theorem Proving In Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)

Otmane Ait Mohamed, Cesar Munoz, Sofi?ne Tahar

Neuf(s) - Couverture souple

A propos de cet article