Logic for computer science and artificial intelligence /

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

Ausführliche Beschreibung

Gespeichert in:
1. Verfasser:
Caferra, Ricardo
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
London, England ; Hoboken, New Jersey : ISTE : Wiley, 2011.
Ausgabe:
1st edition
Zusammenfassung:
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 for example unification and subsumption. For non-classical logics, the
Umfang:
1 online resource (537 p.)
text file
Anmerkungen:
Description based upon print version of record.
Anmerkungen:
English
Bibliografie:
Includes bibliographical references and index.
ISBN:
9781118604267
1118604261
9781118604182
1118604180
9781118604205
1118604202
9781299187863
1299187862
Schlagworte:
Computer logic.
Artificial intelligence.
Bezugswerke:
Links: