Clausal Form Logic an Introduction to the Logic of Computer Programming
- List Price: $38.33
- Binding: Paperback
- Publisher: Addison-Wesley
- Publish date: 03/01/1989
Description:
This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
|
True Oak Books
Good
|
$14.62
|
Ergodebooks
|
Good |
$19.21
|
Please Wait