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
Seller | Condition | Comments | Price |
|
Solomon's Mine Books
Good
![]() |
$21.83
|
Ergodebooks
|
Good |
$25.63
|

Please Wait