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)

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Back Cover:

Mechanical theorem proving is an important subject in artificial intelligence. It has been applied to many areas--program analysis, program synthesis, deductive question-answering systems, problem-solving systems, and robot technology.
This classic text provides a thorough discussion of mechanical theorem proving and its applications as well as an introduction to symbolic logic. A purely model-theoretic approach to first-order logic is adopted, and the book emphasizes efficient computer implementations of proof techniques.
Appropriate for both undergraduates and graduate courses in theorem proving, this text is also suitable as a supplementary textbook in artificial intelligence to provide the student with a background in mechanical theorem proving and application areas.

"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: 10
Librería
Book Depository hard to find
(London, Reino Unido)
Valoración
[?]

Descripción Elsevier Science Publishing Co Inc, United States, 1997. Hardback. Estado de conservación: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 EOD9780121703509

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

Comprar nuevo
EUR 49,77
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 Char-Tung Lee
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 52,31
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Chin-Liang Chang
Editorial: Academic Press 1973-06-11 (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 1
Librería
Lost Books
(AUSTIN, TX, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 53,15
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

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 45,94
Convertir moneda

Añadir al carrito

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

5.

CHANG, CHIN-LIANG; LEE, RICHARD
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 10
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 50,53
Convertir moneda

Añadir al carrito

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

6.

CHANG, CHIN-LIANG; LEE, RICHARD
Editorial: Academic Press (1973)
ISBN 10: 0121703509 ISBN 13: 9780121703509
Nuevos Tapa dura Cantidad: 10
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 50,53
Convertir moneda

Añadir al carrito

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

7.

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. 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 AAU9780121703509

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

Comprar nuevo
EUR 61,79
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

8.

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. 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 AAU9780121703509

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

Comprar nuevo
EUR 62,30
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

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 63,15
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,34
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: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Academic Press, 1973. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IP-9780121703509

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

Comprar nuevo
EUR 64,39
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,43
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