9780387972336 - first-order logic and automated theorem proving (texts & monographs in computer science) de fitting, melvin (2 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (2)

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: Springer Verlag, New York 1990

      0387972331 / 9780387972336

      Serie: Texts in Computer Science, Libro 28 de 83. Libro 28 de 83 - Texts in Computer Science

      • Tapa dura
      • Primera edición

      Librería: Works on Paper, DeKalb, IL, Estados Unidos de AmericaWorks on Paper

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Bueno

      EUR 102,87

      Envío por EUR 5,60 
      Se envía dentro de Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Hardcover. Condición: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appear…

    • Idioma: Inglés

      Editorial: Springer 20.04.1990. 1990

      0387972331 / 9780387972336

      Serie: Texts in Computer Science, Libro 28 de 83. Libro 28 de 83 - Texts in Computer Science

      • Tapa dura

      Librería: NEPO UG, Rüsselsheim am Main, , AlemaniaNEPO UG

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Excelente

      EUR 106,51

      Envío por EUR 24,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Condición: Sehr gut. 242 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe.