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

Main Authors:	Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- (Author)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
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ématique. Théorèmes > Démonstration automatique. Intelligence artificielle. artificial intelligence. MATHEMATICS > General. Artificial intelligence Automatic theorem proving Logic, Symbolic and mathematical Théorèmes > démonstration automatique. Electronic books.
Online Access:	Connect to the full text of this electronic book