Clausal Form Logic

Clausal Form Logic An Introduction to the Logic of Computer Reasoning - International Computer Science Series

Paperback (01 Jan 1989)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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. Acidic paper. Annotation copyright Book News, In

Book information

ISBN: 9780201129205
Publisher: Addison-Wesley
Imprint: Addison-Wesley
Pub date:
DEWEY: 005.131
DEWEY edition: 19
Weight: 553g
Height: 233mm
Width: 156mm
Spine width: 20mm