Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

4,5 valoración promedio
( 4 valoraciones por GoodReads )
 
9780121703509: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Reseña del editor:

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Chin-Liang Chang, Richard Char-Tung Lee
Editorial: Elsevier Science Publishing Co Inc, United States (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Estado de conservación: New. 238 x 162 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AA59780121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 42,23
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Chin-Liang Chang, Richard C. Lee
Editorial: Elsevier 1997-11-19 (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Elsevier 1997-11-19, 1997. Hardcover. Estado de conservación: New. Nº de ref. de la librería NU-ELS-00002089

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 39,28
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,46
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Chin-Liang Chang, Richard Char-Tung Lee
Editorial: Elsevier Science Publishing Co Inc, United States (1997)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Estado de conservación: New. 238 x 162 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AA59780121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 43,69
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Chin-Liang Chang/ Richard Char-Tung Lee
Editorial: Academic Pr (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Academic Pr, 1973. Hardcover. Estado de conservación: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. de la librería __0121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 50,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,94
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Chang, Chin-Liang; Lee, Richard Char-Tung
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Academic Press, 1973. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería 0121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,98
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Chang, Chin-Liang; Lee, Richard Char-Tung
Editorial: academic press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Barney's books
(london, Reino Unido)
Valoración
[?]

Descripción academic press, 1973. Hardcover. Estado de conservación: New. New book.Laminated boards. Still in cellophane wraps. Nº de ref. de la librería ABE-13266028791

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 47,63
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,56
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

CHANG, CHIN-LIANG; LEE, RICHARD
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Academic Press, 1973. Hardback. Estado de conservación: NEW. 9780121703509 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0890874

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,39
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,25
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

CHANG, CHIN-LIANG; LEE, RICHARD
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Academic Press, 1973. Hardback. Estado de conservación: NEW. 9780121703509 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE01195175

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,39
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,25
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Chin-Liang Chang, Richard Char-Tung Lee
Editorial: Elsevier Science Publishing Co Inc 1973-06-15, San Diego (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: > 20
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Elsevier Science Publishing Co Inc 1973-06-15, San Diego, 1973. hardback. Estado de conservación: New. Nº de ref. de la librería 9780121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,47
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,20
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Chang, Chin-Liang
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Cantidad: 2
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Academic Press, 1973. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería BB-9780121703509

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,22
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda