A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
EUR 28,44 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 7,05 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: Sequitur Books, Boonsboro, MD, Estados Unidos de America
Hardcover. Condición: Good. Hardcover. Good binding and cover. Library markings. Clean, unmarked pages. Nº de ref. del artículo: 1807050038
Cantidad disponible: 1 disponibles
Librería: Antiquariat Bernhardt, Kassel, Alemania
gebundene Ausgabe. Condición: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 56. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 202 Seiten, Englisch 468g. Nº de ref. del artículo: 492561
Cantidad disponible: 1 disponibles
Librería: WYEMART LIMITED, HEREFORD, Reino Unido
Hardcover. Condición: New. Nº de ref. del artículo: mon0000272696
Cantidad disponible: 1 disponibles
Librería: California Books, Miami, FL, Estados Unidos de America
Condición: New. Nº de ref. del artículo: I-9780521834490
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9780521834490_new
Cantidad disponible: Más de 20 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. xiv + 202 Illus. Nº de ref. del artículo: 7584960
Cantidad disponible: 3 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. Nº de ref. del artículo: 9780521834490
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Hardcover. Condición: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __052183449X
Cantidad disponible: 1 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 505. Nº de ref. del artículo: C9780521834490
Cantidad disponible: Más de 20 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. xiv + 202 Index. Nº de ref. del artículo: 26262943
Cantidad disponible: 3 disponibles