Bookcover of Semi-Linear Resolution
Booktitle:

Semi-Linear Resolution

Automated Theorem Proving

TurbsPublishing (2012-04-20 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-613-8-75231-8

ISBN-10:
6138752317
EAN:
9786138752318
Book language:
English
Blurb/Shorttext:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Semi-Linear Resolution (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively-deepening depth-first search. It is one method used in automated theorem proving. SLR performs linear derivations from the input clauses and a maintained set-of-support to obtain subgoals (usually unit clauses), such that the length of each derivation is no more than an assigned depth bound.
Publishing house:
TurbsPublishing
Website:
http://www.betascript-publishing.com
Edited by:
Erik Yama Étienne
Number of pages:
96
Published on:
2012-04-20
Stock:
Available
Category:
Mathematics
Price:
34.00 €
Keywords:
resolution, automated, linear, Theorem, Proving, Semi

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING