Sorry, this item is currently unavailable.

Logic for Computer Science and Artificial Intelligence

ISBN: 9781848213012 | 1848213018
Format: Hardcover
Publisher: Iste/Hermes Science Pub
Pub. Date: 8/15/2011

Why Rent from Knetbooks?

Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!

Top 5 reasons to order all your textbooks from Knetbooks:

  • We have the lowest prices on thousands of popular textbooks
  • Free shipping both ways on ALL orders
  • Most orders ship within 48 hours
  • Need your book longer than expected? Extending your rental is simple
  • Our customer support team is always here to help
This book is the result of several years of teaching experience at Grenoble INP (Ensimag). It is essentially self-instruction oriented, but of course can be used in traditional courses. Logic (propositional, first-order, and non-classical) plays a key role in Computer Science and Artificial Intelligence. A huge amount of information exists in different supports (such as books, articles, and web pages), but to avoid becoming lost in these references, the beginner needs a unified, synthetic approach. Such an approach is followed throughout the book, which surveys tableaux, resolution, Davis and Putnam methods, and logic programming along with unification and subsumption. For non-classical logics, the translation method is privileged. Numerous historical remarks and digressions concerning connections with other domains, as well as a plethora of exercises including detailed solutions, will accompany the reader in his learning.

Please wait while this item is added to your cart...