Artículos relacionados a Symbolic Logic and Mechanical Theorem Proving
Reseña del editor:
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.
Biografía del autor:
Chang, Artificial Intelligence Center, Lockheed Missiles & Space Company, Inc., Menlo Park, CA.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialAcademic Press
- Año de publicación2014
- ISBN 10 1493300245
- ISBN 13 9781493300242
- EncuadernaciónTapa blanda
- Número de páginas348
- Valoración
Comprar nuevo
Ver este artículo
EUR 67,56
Gastos de envío:
EUR 11,72
De Reino Unido a Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press
(1996)
ISBN 10: 1493300245
ISBN 13: 9781493300242
Nuevo
Paperback
Cantidad disponible: 1
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock. Nº de ref. del artículo: __1493300245
Comprar nuevo
EUR 67,56
Convertir moneda
Gastos de envío:
EUR 11,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press
(1996)
ISBN 10: 1493300245
ISBN 13: 9781493300242
Nuevo
Paperback
Cantidad disponible: 1
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock. Nº de ref. del artículo: zk1493300245
Comprar nuevo
EUR 89,82
Convertir moneda
Gastos de envío:
EUR 11,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press
(1973)
ISBN 10: 1493300245
ISBN 13: 9781493300242
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Buy with confidence! Book is in new, never-used condition. Nº de ref. del artículo: bk1493300245xvz189zvxnew
Comprar nuevo
EUR 104,46
Convertir moneda
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Publicado por
Academic Press
(1973)
ISBN 10: 1493300245
ISBN 13: 9781493300242
Nuevo
Tapa blanda
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-1493300245-new
Comprar nuevo
EUR 104,46
Convertir moneda