9780387950754 - automated theorem proving: theory and practice di newborn, monty (11 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (11)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

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

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Buono

    EUR 71,95

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

    Quantità: 1 disponibili

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

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 118,98

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibili

    Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 118,98

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 1 disponibili

    Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 136,05

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Books Puddle, New York, NY, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato

    EUR 165,01

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

    Quantità: 1 disponibili

    Condizione: Used. pp. 248.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato

    EUR 170,78

    EUR 7,60 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Condizione: Used. pp. 248 Illus.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 166,10

    EUR 14,01 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato

    EUR 174,97

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Condizione: Used. pp. 248.

  • Lingua: Inglese

    Editore: Springer, 2000

    0387950753 / 9780387950754

    • Rilegato

    Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 224,12

    EUR 29,25 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Lingua: Inglese

    Editore: SPRINGER, 2001

    0387950753 / 9780387950754

    • Rilegato
    • Edizione Internazionale

    Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE

    Venditore con 4 stelle
    Contatta il venditore
    Edizione Internazionale

    Condizione: Usato

    EUR 285,58

     Spedizione gratuita 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibili

    Condizione: New Books. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requeste…

  • Lingua: Inglese

    Editore: Springer New York, 2000

    0387950753 / 9780387950754

    • Rilegato
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 137,26

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-ref…