Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) (Computer Science Classics

出版者:Academic Press

作者:Chin-Liang Chang

页数:331

出版时间:1973-05-28

价格:USD 71.95

装帧:Hardcover

isbn号码:9780121703509

图书标签:计算机数学台湾人工智能书籍plTheoremR.C.T.LeeProving

承接 住宅 自建房 室内改造 装修设计 免费咨询 QQ：624617358 一级注册建筑师 亲自为您回答、经验丰富，价格亲民。无论项目大小，都全力服务。期待合作，欢迎咨询！QQ：624617358

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving 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.