Logic for computer science and artificial intelligence /

Saved in:

Bibliographic Details
Author / Creator:	Caferra, Ricardo, 1945-
Imprint:	London : ISTE ; Hoboken, NJ : Wiley, 2011.
Description:	1 online resource (537 pages) : illustrations
Language:	English
Subject:	Computer logic. Artificial intelligence. Artificial intelligence Computer logic
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/13609303

Hidden Bibliographic Details
ISBN:	9781118604182 1118604180 9781118604205 1118604202 9781118604267 1118604261 1848213018 9781848213012 9781848213012
Notes:	Includes bibliographical references and index. Print version record.
Summary:	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.
Other form:	Print version: Caferra, Ricardo. Logic for Computer Science and Artificial Intelligence. London : Wiley, ©2013 9781848213012

Similar Items