Logic for Computer Science and Artificial Intelligence

by

Write The First Customer Review

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as ...

Logic for Computer Science and Artificial Intelligence 2011, Wiley-Iste, London, England

ISBN-13: 9781848213012

Hardcover

Select