Advances in Logic Programming and Automated Reasoning

ISBN 10: 0893916838 ISBN 13: 9780893916831

Editorial: Intellect Ltd, 1992

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por PAPER CAVALIER US, Brooklyn, NY, Estados Unidos de America

Vendedor de AbeBooks desde 13 de junio de 2014

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Como Nuevo

Precio: EUR 29,03 Convertir moneda

Gratis gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Appears unread. May have a retail sticker on back cover or remainder mark on the text block.

N� de ref. del art�culo 9780893916831-2

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Advances in Logic Programming and Automated Reasoning

Editor

Intellect Ltd

Fecha de publicaci�n

1992

Idioma

Ingl�s

ISBN 10

0893916838

ISBN 13

9780893916831

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

as new

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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.

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 7 a 15 d�as h�biles	De 4 a 10 d�as h�biles
Primer art�culo	EUR 0.00	EUR 12.82

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.