Artículos relacionados a Rippling: Meta-Level Guidance for Mathematical Reasoning...

Rippling: Meta-Level Guidance for Mathematical Reasoning Hardback: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56) - Tapa dura

 
9780521834490: Rippling: Meta-Level Guidance for Mathematical Reasoning Hardback: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)

Sinopsis

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.

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.

  • EditorialCambridge University Press
  • Año de publicación2005
  • ISBN 10 052183449X
  • ISBN 13 9780521834490
  • EncuadernaciónTapa dura
  • IdiomaInglés
  • Número de páginas216
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Aceptable
Hardcover. Good binding and cover...
Ver este artículo

EUR 28,44 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 7,05 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Rippling: Meta-Level Guidance for Mathematical Reasoning...

Imagen de archivo

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Antiguo o usado Tapa dura

Librería: Sequitur Books, Boonsboro, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Good. Hardcover. Good binding and cover. Library markings. Clean, unmarked pages. Nº de ref. del artículo: 1807050038

Contactar al vendedor

Comprar usado

EUR 13,31
Convertir moneda
Gastos de envío: EUR 28,44
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew:
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Antiguo o usado Tapa dura

Librería: Antiquariat Bernhardt, Kassel, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 73,80
Convertir moneda
Gastos de envío: EUR 9,95
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ireland, Andrew,Hutter, Dieter,Basin, David,Bundy, Alan
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: WYEMART LIMITED, HEREFORD, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: New. Nº de ref. del artículo: mon0000272696

Contactar al vendedor

Comprar nuevo

EUR 101,28
Convertir moneda
Gastos de envío: EUR 7,05
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: California Books, Miami, FL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: I-9780521834490

Contactar al vendedor

Comprar nuevo

EUR 140,24
Convertir moneda
Gastos de envío: EUR 6,89
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9780521834490_new

Contactar al vendedor

Comprar nuevo

EUR 143,25
Convertir moneda
Gastos de envío: EUR 4,67
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Ireland Andrew Hutter Dieter Basin David Bundy Alan
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. xiv + 202 Illus. Nº de ref. del artículo: 7584960

Contactar al vendedor

Comprar nuevo

EUR 140,99
Convertir moneda
Gastos de envío: EUR 10,39
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen del vendedor

Alan Bundy
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 143,47
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Alan Bundy/ David Basin/ Dieter Hutter/ Andrew Ireland
Publicado por Cambridge Univ Pr, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 146,08
Convertir moneda
Gastos de envío: EUR 11,74
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Alan Bundy
Publicado por Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 150,24
Convertir moneda
Gastos de envío: EUR 7,79
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Andrew Ireland Dieter Hutter David Basin Alan Bundy
Publicado por Cambridge University Press CUP, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Nuevo Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. xiv + 202 Index. Nº de ref. del artículo: 26262943

Contactar al vendedor

Comprar nuevo

EUR 154,07
Convertir moneda
Gastos de envío: EUR 9,91
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Existen otras 6 copia(s) de este libro

Ver todos los resultados de su búsqueda