Ebook: Computation as logic
Author: Rene Lalement John Plaice
- Series: Prentice Hall International Series in Computer Science
- Year: 1993
- Publisher: Prentice Hall
- Language: English
- djvu
Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity
Download the book Computation as logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)