Automated Theorem Proving

Theory and Practice

By: Monty Newborn

Write A Review

Hardcover | 1 January 2001

At a Glance

Hardcover
248 Pages

Dimensions(cm)
23.39 x 15.6 x 1.6

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The two approaches studied are semantic tree theorem proving and resolution-refutation theorem proving. The first chapters introduce the reader to first-order predicate calculus, well-formed formulae, and their transformation to clauses (implemented in a third program provided on diskette). Then the author shows how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises intended to familiarise the readers with the ideas and with the software, and answers are provided to many of the problems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic

A brief introduction to COMPILE, HERBY and THEO
Predicate calculus, well-formed formulas and theorems
COMPILE: transforming well-formed formulas to clauses
Inference procedures
Proving theorems by constructing closed semantic trees
Resolution-refutation proofs
HERBY: A semantic tree theorem prover
Using HERBY
THEO: A resolution-refutation theorem prover
Using THEO
A look at HERBY's source code
A look at THEO's source code
Other theorem provers
References
Table of Contents provided by Publisher. All Rights Reserved.

Automated Theorem Proving

Theory and Practice

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

AI for Business

A Guide to AI Adoption

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

AI Engineering

Building Applications with Foundation Models

The Scaling Era

An Oral History of AI, 2019-2025

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

New Beginnings

why change is so difficult and how to achieve it

Empire of AI

Inside the reckless race for total domination

Python All-in-One For Dummies

3rd Edition

Fundamentals of Electrical and Computer Engineering

Volume I

Fundamentals of Electrical and Computer Engineering

Volume II

The Shortest History of AI

Deep Learning for Intrusion Detection

Techniques and Applications

Digital Healthcare and Artificial Intelligence

A Primer for Clinicians and Students

Digital Healthcare and Artificial Intelligence

A Primer for Clinicians and Students

This product is categorised by