9780121703509 - symbolic logic and mechanical theorem proving (computer science classics) de chang, chin-liang; lee, richard c. (33 resultados)
- Tapa dura
Librería: Wonder Book, Frederick, MD, Estados Unidos de AmericaWonder Book
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 10,28
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Good condition. Good dust jacket. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
- Tapa dura
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 11,13
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 8,33
Envío por EUR 3,24Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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.
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 8,33
Envío por EUR 3,24Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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.
- Tapa dura
- Primera edición
Librería: One Planet Books, Columbia, MO, Estados Unidos de AmericaOne Planet Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 8,29
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
hardcover. Condición: 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).
- Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 12,58
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa dura
- Primera edición
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de AmericaReader's Corner, Inc.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 17,34
Envío por EUR 4,75Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine.
- Tapa dura
- Primera edición
Librería: Row By Row Bookshop, Sugar Grove, NC, Estados Unidos de AmericaRow By Row Bookshop
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 17,78
Envío por EUR 4,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. 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.
- Tapa dura
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino UnidoPhatpocket Limited
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 25,88
Envío por EUR 12,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Tapa blanda
Librería: Hamelyn, Madrid, M, EspañaHamelyn
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 25,18
Envío por EUR 12,99Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. : Este libro presenta una introducción a la lógica simbólica y un análisis exhaustivo de la demostración mecánica de teoremas y sus aplicaciones. El libro consta de tres partes principales: los capítulos 2 y 3 constituyen una introducción a la lógica simbólica; los capítulos 4 a 9 presentan varias técnicas…de demostración mecánica de teoremas; y los capítulos 10 y 11 muestran cómo la demostración de teoremas puede aplicarse a diversas áreas, como la respuesta a preguntas, la resolución de problemas, el análisis de programas y la síntesis de programas. EAN: 9780121703509 Tipo: Libros Categoría: Tecnología|Ciencias Título: Symbolic Logic and Mechanical Theorem Proving Autor: Chin-Liang Chang| Richard Char-Tung Lee Editorial: Elsevier Idioma: en Páginas: 331 Formato: tapa dura.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 43,93
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
- Tapa dura
- Primera edición
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de AmericaTextbooks_Source
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 42,74
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
hardcover. Condición: 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).
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 31,08
Envío por EUR 15,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Academic Press, New York San Francisco London, 1973
- Tapa dura
- Primera edición
Librería: Theoria Books, Andover, MA, Estados Unidos de AmericaTheoria Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 42,68
Envío por EUR 4,75Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Near Fine. Estado de la sobrecubierta: 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-3…31. 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.
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 31,08
Envío por EUR 15,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,44
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,93
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 65,33
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 352 Illus.
- Tapa dura
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,43
Envío por EUR 18,03Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardcover. Condición: New.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 82,00
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 352.
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,01
Envío por EUR 6,00Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
- Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,12
Envío por EUR 20,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. New copy - Usually dispatched within 4 working days.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,49
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,13
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 352.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 75,03
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,83
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 86,46
Envío por EUR 17,46Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,94
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. 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 .
- Tapa dura
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,70
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa dura
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,77
Envío por EUR 14,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock. This item is printed on demand.
