Name: Superposition Calculus
SKU: 67039955
Price: 4159.00 TWD
Availability: InStock
ISBN: 9786131270604

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Betascript Publishing

Language

English

Format

Paperback

Dimensions

22 x 0 cm

ISBN13

9786131270604

Superposition Calculus

New Book Imported to Taiwan

Delivery: 16 Oct - 26 Oct

NT$ 4,159

NT$ 4,159

Add to Wishlist

Synopsis "Superposition Calculus"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The superposition calculus is a calculus for reasoning in equational first-order logic. It has been developed in the early 1990s and combines concepts from first-order resolution with ordering-based equality handling as developed in the context of (unfailing) Knuth-Bendix completion. It can be seen as a generalization of either resolution (to equational logic) or unfailing completion (to full clausal logic). As most first-order calculi, superposition tries to show the unsatisfiability of a set of first-order clauses, i.e. it performs proofs by refutation. Superposition is refutation-complete given unlimited resources and a fair derivation strategy, every unsatisfiable clause set can eventually be proved to be unsatisfiable.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

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

Synopsis "Superposition Calculus"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery