Importo totale (1 articolo articoli):
Destinazione ordine:
9780121703509 - Symbolic Logic and Mechanical Theorem Proving di Chang, Chin-Liang; Lee, Richard Char-Tung (30 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (30)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (15)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (10)
- Discreto o Mediocre (1)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (30)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (5)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (8)
- Non Print on Demand (25)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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!
-
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!
-
Symbolic Logic and Mechanical Theorem Proving
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Da: One Planet Books, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
hardcover. Condizione: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Good. The copy shows general wear and markings, but is in otherwise clean condition.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine.
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Academic Press, New York and London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: Row By Row Bookshop, Sugar Grove, NC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Good. Condizione sovraccoperta: No Dust Jacket. First Edition. An ex-library copy in black hard covers lettered in gold, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book.
-
Symbolic Logic and Mechanical Theorem Proving
Da: True Oak Books, Highland, NY, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Computer Science And Applied Mathematics; Book is in good overall condition. No writing or major blemishes. Average wear. Brief dedication on first page. Light smudging on dust cover. Foxing to fore-edge of pages.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Symbolic Logic and Mechanical Theorem Proving
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
hardcover. Condizione: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Lingua: Inglese
Editore: Academic Press, New York San Francisco London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: Theoria Books, Andover, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Good. 1st Edition. 331pp.,xiii. No edition cited; no number line: First Printing. Appendix A, "A Computer Program Using Unit Binary Resolution", pp. 287-305; Appendix B, "Proof of Lemma 8.2", pp. 306-308; Bibliography, in Parts I, II, III, pp. 309-324; Index, pp. 325-331. Dark blue fine linen with brilliant gilt-stamped lettering on spine and front cover; lower cover corners slightly bumped, upper corners sharp; 16 pp. of 331pp. have minor amount of green ink underlining ( pp. 2-8, 10, 27-31, 34-35, 72); 5 pages have light pencil lines and annotations, which may be of interest to next book owner, else can easily be erased). Strong binding. Glossy medium blue dustwrapper with silver lettering on upper half front cover, above derivation tree diagram; dw worn, chipped, missing bits at extremities: NOW in mylar which forgives these sins graciously. No previous owner names.
-
EUR 30,57
Spedizione EUR 15,34
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509.
-
EUR 30,57
Spedizione EUR 15,34
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0121703509.
-
Symbolic Logic and Mechanical Theorem Proving
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,78
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Symbolic Logic and Mechanical Theorem Proving
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,79
Spedizione EUR 2,23
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 54,51
Spedizione EUR 17,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Symbolic Logic and Mechanical Theorem Proving
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 63,86
Spedizione EUR 7,44
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 352 Illus.
-
Symbolic Logic and Mechanical Theorem Proving
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 352.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Elsevier Science Publishing Co Inc, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,63
Spedizione EUR 20,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
-
Symbolic Logic and Mechanical Theorem Proving
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 76,72
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 352.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,35
Spedizione EUR 13,71
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Symbolic Logic and Mechanical Theorem Proving
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,45
Spedizione EUR 17,17
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symbolic Logic and Mechanical Theorem Proving
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,00
Spedizione EUR 17,17
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
SYMBOLIC LOGIC & MECHANICAL TH
Lingua: Inglese
Editore: Elsevier Science & Technology|Academic Press, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
EUR 82,30
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This book covers an introduction to symbolic logic and introduces techniques in mechanical theorem proving. It shows how theorem proving can be appli.
-
Symbolic Logic and Mechanical Theorem Proving
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
EUR 55,70
Spedizione EUR 6,80
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,75
Spedizione EUR 14,31
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock. This item is printed on demand.
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Elsevier Science & Technology, Academic Press, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 57,95
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis. Englisch.
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Elsevier Science Publishing Co Inc, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 89,76
Spedizione EUR 20,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 717.
-
Symbolic Logic and Mechanical Theorem Proving
Lingua: Inglese
Editore: Elsevier Science & Technology, Academic Press, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
EUR 67,57
Spedizione EUR 63,20
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
