Artículos relacionados a Symbolic Logic and Mechanical Theorem Proving
Sinopsis
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.
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.
Comprar nuevo
Ver este artículo
EUR 87,78
EUR 28,64 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Symbolic Logic and Mechanical Theorem Proving
Imagen de archivo
Symbolic Logic and Mechanical Theorem Proving
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock. Nº de ref. del artículo: zk1493300245
Gastos de envío:
EUR 28,64
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles