Symbolic Logic and Mechanical Theorem Proving

Name: Symbolic Logic and Mechanical Theorem Proving
Availability: InStock
ISBN: 9780121703509

ISBN-10: 0121703509

ISBN-13: 9780121703509

Edition: 1973

Authors: Chin-Liang Chang, Richard Char-Tung Lee

List price: $72.95

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Semester Rental: $18.68 Due date: 8/13/2024

Rental notice: supplementary materials (access codes, CDs, etc.) are not guaranteed with rental orders.

Buy used: $9.94

Buy new: $71.06

Marketplace

3 new & used from $6.75

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $72.95
Copyright year: 1973
Publisher: Elsevier Science & Technology
Publication date: 6/15/1973
Binding: Hardcover
Pages: 331
Size: 5.98" wide x 9.02" long x 0.41" tall
Weight: 1.386
Language: English