Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew

ISBN 10: 052183449X ISBN 13: 9780521834490

Editorial: Cambridge University Press, 2005

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Sequitur Books, Boonsboro, MD, Estados Unidos de America

Miembro de asociaci�n:

IOBA

Vendedor de AbeBooks desde 16 de junio de 2008

Calificaci�n del vendedor: 5 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 - Aceptable

Precio: EUR 13,18 Convertir moneda

EUR 28,16 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Hardcover. Good binding and cover. Library markings. Clean, unmarked pages.

N� de ref. del art�culo 1807050038

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

Editor

Cambridge University Press

Fecha de publicaci�n

2005

Idioma

Ingl�s

ISBN 10

052183449X

ISBN 13

9780521834490

Encuadernaci�n

Hardcover

Estado

Good

Cat�logos de vendedores

Computers

Acerca de

Sinopsis

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

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

Sequitur Books is an independent academic bookstore. We pride ourselves on exceptional customer service, a thought provoking selection and extremely fast shipping. Our motto, For every person, a good book!

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Sequitur Books
MD, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Refunds are given upon return of book within 14 days. If you are in any way unhappy with your purchase, please contact us and we will do our best to resolve the situation. Prices are as listed.

Condiciones de env�o

Unless specified, we ship via the United States Postal Service. Domestic expedited orders are shipped via priority mail. Standard orders are shipped via media mail.

International orders are shipped via air mail.

Overnight orders are shipped via Express mail.

Oversized, folio, and multi-volume sets may require additional shipping for international orders.