Articoli correlati a The Computational Logic Handbook

The Computational Logic Handbook - Rilegato

Boyer, Robert S.; Moore, J. Strother

 
9780121229528: The Computational Logic Handbook
Rilegato
ISBN 10: 0121229521 ISBN 13: 9780121229528
Casa editrice: Academic Pr, 1997

Sinossi

Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Boyer Robert S Moore J Strother

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreAcademic Pr
  • Data di pubblicazione1997
  • ISBN 10 0121229521
  • ISBN 13 9780121229528
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine408

Compra usato

Condizioni: quasi ottimo
Ancien livre de bibliothčque. Edition...
Visualizza questo articolo
9780121229528: The Computational Logic Handbook
EUR 8,89

Convertire valuta

EUR 10,00 per la spedizione da Francia a U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781483236537: A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Edizione in evidenza

ISBN 10:  1483236536 ISBN 13:  9781483236537
Casa editrice: Academic Press, 2014
Brossura

Risultati della ricerca per The Computational Logic Handbook

Foto dell'editore

Robert S. Boyer et J. Strother Moore
Editore: Academic Press Inc, 1997
ISBN 10: 0121229521 ISBN 13: 9780121229528
Antico o usato Rilegato

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Bon. Ancien livre de bibliothčque. Edition 1997. Ammareal reverse jusqu'ą 15% du prix net de cet article ą des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo F-934-114

Contatta il venditore

Compra usato

EUR 8,89
Convertire valuta
Spese di spedizione: EUR 10,00
Da: Francia a: U.S.A.
Destinazione, tempi e costi

Quantitą: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Moore, J. Strother,Boyer, Robert S.
Editore: Academic Pr, 1988
ISBN 10: 0121229521 ISBN 13: 9780121229528
Antico o usato Rilegato

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

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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! Codice articolo S_378725293

Contatta il venditore

Compra usato

EUR 43,49
Convertire valuta
Spese di spedizione: EUR 3,31
In U.S.A.
Destinazione, tempi e costi

Quantitą: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Boyer, Robert S., Moore, J. Strother
Editore: Academic Pr, 1988
ISBN 10: 0121229521 ISBN 13: 9780121229528
Antico o usato Rilegato

Da: Mispah books, Redhill, SURRE, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA75801212295215

Contatta il venditore

Compra usato

EUR 134,51
Convertire valuta
Spese di spedizione: EUR 29,41
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantitą: 1 disponibili

Aggiungi al carrello