Name: Superposition Calculus (en Inglés)
SKU: 67039955
Price: 455671.00 COP
Availability: InStock
ISBN: 9786131270604

Selecciona tu país

América

Europa

Resto del mundo

portada Superposition Calculus (en Inglés)

Formato

Libro Físico

Editorial

Betascript Publishing

Idioma

Inglés

Encuadernación

Tapa Blanda

Dimensiones

22 x 0 cm

ISBN13

9786131270604

Superposition Calculus (en Inglés)

Libro Nuevo Importado

Envío: 20 a 24 días háb.

$ 759.452$ 455.671

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 455.671

¡Envío Gratis! Llega entre el 07 Oct y el 15 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Superposition Calculus (en Inglés)"

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.