Symbolic logic and mechanical theorem proving

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- (Author)
Format: Electronic eBook
Language:Inglés
Published: New York, Academic Press [1973]
Series:Computer science and applied mathematics.
Subjects:
Logic, Symbolic and mathematical.
Automatic theorem proving.
Artificial intelligence.
Artificial Intelligence
Logique symbolique et math�ematique.
Th�eor�emes > D�emonstration automatique.
Intelligence artificielle.
artificial intelligence.
MATHEMATICS > General.
Th�eor�emes > d�emonstration automatique.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items