Logic for Computer Science and Artificial Intelligence - Image 1

£91.11

Wiley Logic for Computer Science and Artificial Intelligence

Name: Logic for Computer Science and Artificial Intelligence
Brand: Wiley
Price: 140.0 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 80 days • 80 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 80 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £134 (48 days, 60.0%)

Price range: £91 - £140

Price levels: 5 different prices over 80 days

Description

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.

Key Features

New Store Stock

Product Specifications

Brand: Wiley
Format: hardcover
ASIN: 1848213018
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 12 July 2011
Listed Since: 08 July 2011

Barcode

No barcode data available

Wiley Logic for Computer Science and Artificial Intelligence

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Three Views of Logic: Mathematics, Philosophy, and Computer Science

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Handbook of Practical Logic and Automated Reasoning

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Probabilistic Extensions of Various Logical Systems

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Logic Colloquium '03: Lecture Notes in Logic 24

Proofs and Computations (Perspectives in Logic)

An Introduction to Substructural Logics

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Logic and Philosophy: A Modern Introduction

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Constructive Models (Siberian School of Algebra and Logic)

Mathematics of Discrete Structures for Computer Science

Logic in High Definition: Trends in Logical Semantics: 56