Logic for computer science and artificial intelligence /

• Main Author: Caferra, Ricardo, 1945-
• Format: eBook
• Language: English
• Published: London : ISTE ; 2011.; Hoboken, NJ : Wiley, 2011.
• Subjects: Computer logic.; Artificial intelligence.; COMPUTERS > Enterprise Applications > Business Intelligence Tools.; COMPUTERS > Intelligence (AI) & Semantics.; Electronic books.

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 proble...