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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
