你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Logic for Computer Science and Artificial Intelligence
Type
Physical Book
Author
Publisher
Language
English
Pages
523
Format
Hardcover
Dimensions
23.6x16x3.6 cm
Weight
0.86 kg.
ISBN
1848213018
ISBN13
9781848213012
Categories

Logic for Computer Science and Artificial Intelligence

Ricardo Caferra (Author) · Wiley-Iste · Hardcover

Logic for Computer Science and Artificial Intelligence - Caferra, Ricardo

Cheaper New Book Imported to Taiwan
Delivery: 30 Sep - 08 Oct Shipping: 6 to 7 business days.
NT$ 7,784
Faster New Book Imported to Taiwan
Delivery: 24 Sep - 02 Oct Shipping: 2 to 3 business days.
NT$ 8,955
NT$ 7,784

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "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 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 several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews