Logic for computer science and artificial intelligence

By:

Publication details: ISTE 2011 London Description: xii, 523pISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library General Stacks	510.6:681.31 CAF (Browse shelf(Opens below))	Available		00066995

Previous								Next
Previous	510.6 ROB Introduction to mathematical proofs	510.6(091) DRU Perspectives on the history of mathematical logic	510.63 CAU Logic, sets and recursion	510.6:681.31 CAF Logic for computer science and artificial intelligence	510:681.31 DOE Applied discrete structure for computer science	510:681.31 HEI Discrete structures, logic and computability	510.8 LIN Systemic yoyos	Next

There are no comments on this title.

to post a comment.