Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal.

Seller Inventory # 800010980

Contact seller

Report this item

Bibliographic Details

Title

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.

Publisher

Springer-Verlag

Publication Date

1990

Language

English

ISBN 10

0387528377

ISBN 13

9780387528373

Binding

Soft cover

Condition

Normal

Seller catalogs

Inform�tica

About this title

Synopsis

Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.

"About this title" may belong to another edition of this title.

Store Description

Libros de segunda mano, antiguos y de ocasi�n. Descatalogados, raros y curiosos. Best sellers, novela negra, poes�a, teatro... S�lo realizamos env�os. M�s de 111.000 libros en nuestro cat�logo. Env�os a trav�s de correo ordinario o correos certificado. Librer�a Online

Visit Seller's Storefront

Seller's business information

Libros Ambig�
Spain

Sale & Shipping Terms

Terms of Sale

Aceptamos transferencia bancaria y tarjeta de cr�dito. Realizamos env�os a todo el mundo seg�n tarifas. Para otras formas, consultar. Los gastos de env�o est�n calculados para un libro de no m�s de 1 kilo de peso y tama�o peque�o. Para otros tama�os y pesos se contactar� con el cliente. Si el cliente no indica lo contrario al realizar el pedido, la no disponibilidad de alg�n libro no anula el resto del pedido.

Shipping Terms

Los gastos de env�o est�n calculados sobre la base del peso de un libro de 2.2 LB � 1 KG. Si su pedido es demasiado grande o pesado, nosotros podemos ponernos en contacto con usted para comunicarle que gasto de env�o adicional es requerido. Los env�os normales se realizan mediante correo ordinario, no certificado. Los env�os urgentes y contra reembolso se realizan a trav�s de la empresa de transportes ASM.

Shipping rates from Spain to U.S.A.

Shipping rates from Spain to U.S.A.
Order quantity	3 to 14 business days	3 to 14 business days
First item	US$ 36.00	US$ 36.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.