9789401072502 - automated mathematical induction (7 resultados)

ISBN

Filtrar la búsqueda

  • Libros (7)

  • Nuevo (7)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer, 2011

    9401072507 / 9789401072502

    • Tapa blanda

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

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 116,39

    Envío por EUR 13,97 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Springer, 2011

    9401072507 / 9789401072502

    • Tapa blanda

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

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 143,58

    Envío por EUR 3,46 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. pp. v + 222.

  • Idioma: Inglés

    Editorial: Springer, 2012

    9401072507 / 9789401072502

    • Tapa blanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 152,48

    Envío por EUR 11,66 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Paperback. Condición: Brand New. reprint edition. 224 pages. 9.50x6.40x0.60 inches. In Stock.

  • Idioma: Inglés

    Editorial: Springer Netherlands, 2011

    9401072507 / 9789401072502

    • Tapa blanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 128,20

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a .

  • Idioma: Inglés

    Editorial: Springer, 2011

    9401072507 / 9789401072502

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 99,32

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.

  • Idioma: Inglés

    Editorial: Springer, 2011

    9401072507 / 9789401072502

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 148,30

    Envío por EUR 7,58 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. v + 222.

  • Idioma: Inglés

    Editorial: Springer, 2011

    9401072507 / 9789401072502

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 151,51

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. PRINT ON DEMAND pp. v + 222.