9780387972336 - first-order logic and automated theorem proving di fitting, melvin (2 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (2)

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Springer Verlag, New York 1990

      0387972331 / 9780387972336

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

      • Rilegato
      • Prima edizione

      Da: Works on Paper, DeKalb, IL, U.S.A.Works on Paper

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Molto buono

      EUR 103,13

      EUR 5,62 spedizione 
      Spedito in U.S.A.

      Quantità: 1 disponibili

      Hardcover. Condizione: 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 appea…

    • Lingua: Inglese

      Editore: Springer 20.04.1990. 1990

      0387972331 / 9780387972336

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

      • Rilegato

      Da: NEPO UG, Rüsselsheim am Main, , GermaniaNEPO UG

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Ottimo

      EUR 106,51

      EUR 24,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Condizione: 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.