Logic for Computer Science and Artificial Intelligence
Ricardo Caferra
€ 235.32
FREE Delivery in Ireland
Description for Logic for Computer Science and Artificial Intelligence
Hardback. 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. Num Pages: 536 pages, Illustrations. BIC Classification: TJF; UYQ. Category: (G) General (US: Trade). Dimension: 242 x 167 x 34. Weight in Grams: 940.
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 translation method is detailed.
Logic for Computer Science and Artificial Intelligence is the classroom-tested result of ... Read more
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 translation method is detailed.
Logic for Computer Science and Artificial Intelligence is the classroom-tested result of ... Read more
Product Details
Format
Hardback
Publication date
2011
Publisher
ISTE Ltd and John Wiley & Sons Inc United Kingdom
Number of pages
544
Condition
New
Number of Pages
523
Place of Publication
London, United Kingdom
ISBN
9781848213012
SKU
V9781848213012
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Ricardo Caferra
Ricardo Caferra, LIG, CNRS/Grenoble INP, France.
Reviews for Logic for Computer Science and Artificial Intelligence