£69.99

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

Name: Automation of Logic (Chapman & Hall/CRC Studies in Informatics Series)
Brand: Chapman and Hall/CRC
Price: 69.99 GBP
Availability: InStock

Information Systems

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £70 (43 days, 100.0%)

Price range: £70 - £70

Price levels: 1 different prices over 43 days

Description

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book’s website and a solutions manual is available for qualifying instructors.

Product Specifications

Brand: Chapman and Hall/CRC
Format: hardcover
ASIN: 1439875359
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 05 January 2026
Listed Since: 14 March 2011

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Handbook of Automated Reasoning (Volume 1)

The Calculus of Computation: Decision Procedures with Applications to Verification

Access Control, Security, and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)

CRC Press Artificial Intelligence for Autonomous Networks Book

Fuzzy Automata and Languages: Theory and Applications (Computational Mathematics Series)

Standard Handbook of Industrial Automation (Chapman and Hall Advanced Industrial Technology Series)

Standard Handbook of Industrial Automation (Chapman and Hall Advanced Industrial Technology Series)

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)

Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)

Computation Engineering: Applied Automata Theory and Logic

Introduction to Reversible Computing: 19 (Chapman & Hall/CRC Computational Science)

Context-Aware Computing and Self-Managing Systems - CRC Books

Artificial Intelligence for Autonomous Networks (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Logic for Applications (Texts in Computer Science)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Operations Research: A Practical Introduction (Chapman & Hall/CRC Series in Operations Research)

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Bayesian Programming (Chapman & Hall/CRC Machine Learning & Pattern Recognition)

Methods for the Summation of Series (Discrete Mathematics and Its Applications)