This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Paper Cavalier is a book dealer specialised in out-of-print and hard-to-find. We are based in London and New York. Looking for a book? Contact us at hello@papercavalier.com

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Paper Cavalier
Biscuit Factory, Block K, Unit 104, 100 Clements road, London, SE16 4DG, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

We guarantee the condition of every book as it is described on the Abebooks web sites. If
you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the
order has not arrived, you are eligible for a refund within 30 days of the estimated delivery
date. If you have changed your mind about a book that you have ordered, please use the Ask
bookseller a question link to contact us and we will respond within 2 business days.

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.