Skip to main content alibris logo

Clausal Form Logic: An Introduction to the Logic of Computer Reasoning

by ,

Write The First Customer Review
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning - Richards, Thomas J, and Richards, Tom
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-known artificial intelligence language PROLOG

loading
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning 1989, Addison Wesley Publishing Company

ISBN-13: 9780201129205

Trade paperback