Computation as Logic, Paperback Book

Computation as Logic Paperback

Description

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.

Information

£128.99

£128.65

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops