Logic for computer science and artificial intelligence /

• Κύριος συγγραφέας: Caferra, Ricardo, 1945-
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : ISTE ; 2011.; Hoboken, NJ : Wiley, 2011.
• Θέματα: 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...