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

Perfeziona la tua ricerca

  • Libri (2)

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Springer Verlag 1990

      0387972331 / 9780387972336

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

      • Rilegato

      Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Discreto

      EUR 36,17

      EUR 3,29 spedizione 
      Spedito in U.S.A.

      Quantità: 1 disponibili

      hardcover. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.

    • 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 104,78

      EUR 5,71 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