Handbook of Automated Reasoning (Volume 1) - Image 1

£325.00

North Holland Handbook of Automated Reasoning (Volume 1)

Name: Handbook of Automated Reasoning (Volume 1)
Brand: North Holland
Price: 325.0 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 30 days • 1 price levels

Days at Price

Price Analysis

Most common price: £325 (30 days, 100.0%)

Price range: £325 - £325

Price levels: 1 different prices over 30 days

Description

A comprehensive resource on automated reasoning and its applications. Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation. In addition to traditional topics, the handbook contains material bridges the gap between automated reasoning and related areas. Examples of this include model checking, nonmonotonic reasoning, numerical constraints, description logics, and implementation of declarative programming languages. The book consists of eight parts. After an overview of the early history of automated deduction, the areas covered are reasoning methods in first-order logic; equality and other built-in theories; methods of automated reasoning using induction; higher-order logic, which is used in a number of automatic and interactive proof-development systems; automated reasoning in nonclassical logics; decidable classes and model building; and implementation-related questions.

Product Specifications

Brand: North Holland
Format: hardcover
ASIN: 0444508139
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 26 June 2001
Listed Since: 15 December 2006

Barcode

No barcode data available

North Holland Handbook of Automated Reasoning (Volume 1)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Automated Reasoning (Volume II)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Handbook of Knowledge Representation: Volume 1 (Foundations of Artificial Intelligence, Volume 1)

Handbook of Combinatorics: Vol I & II

North Holland Higher Order Logic Theorem Proving Proceedings

Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence): Volume 1

Handbook of Philosophical Logic: Volume 14

The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Handbook of Abductive Cognition

Handbook of Logic and Language

Inductive Logic (Volume 10) (Handbook of the History of Logic, Volume 10)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Automated Model Building: 31 (Applied Logic Series, 31)

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

Computation Engineering: Applied Automata Theory and Logic

Logic for Applications (Texts in Computer Science)

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning

Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)