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.
Otras ediciones populares con el mismo título
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
Comprar nuevo
EUR 87,73
Gastos de envío:
EUR 14,31
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles