- 5 Resultados
precio mínimo: € 6,12, precio máximo: € 64,19, precio promedio: € 50,63
1
Termination Proofs for Logic Programs - Lutz Plümer
Pedir
por AbeBooks.de
€ 64,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Lutz Plümer:

Termination Proofs for Logic Programs - Pasta blanda

1990, ISBN: 3540528377

[EAN: 9783540528371], Neubuch, [PU: Springer Berlin Heidelberg], LOGIK; PHILOSOPHIE / AUTOMAT; LOGISCHEPROGRAMMIERUNG; PARTIELLEAUSWERTUNG; TERMINIERUNG; VERIFIKATION; AUTOMATION; LINEARP… Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
2
Termination Proofs for Logic Programs - Lutz Plümer
Pedir
por lehmanns.de
€ 64,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Lutz Plümer:

Termination Proofs for Logic Programs - Pasta blanda

1990, ISBN: 9783540528371

Buch, Softcover, 1990, Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But un… Más…

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
3
Termination Proofs for Logic Programs - Lutz Pluemer
Pedir
por booklooker.de
€ 54,45
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Lutz Pluemer:
Termination Proofs for Logic Programs - Pasta blanda

1990

ISBN: 9783540528371

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Termination proofs consti… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
cerrar (X)
4
Pedir
por Biblio.co.uk
$ 7,14
(aprox. € 6,12)
Envío: € 11,141
Pedir
Detalles del proveedor
Enlace patrocinado
Lutz Plümer:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pasta blanda

1990, ISBN: 9783540528371

Springer, 1990-08-24. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1990-08-24, 3, Springer, 1990-08-24. Paperba… Más…

USA, USA - Gastos de envío: EUR 11.14 GuthrieBooks, Ergodebooks
cerrar (X)
5
Termination Proofs for Logic Programs - Lutz Plümer
Pedir
por lehmanns.de
€ 64,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Lutz Plümer:
Termination Proofs for Logic Programs - Pasta blanda

1990, ISBN: 9783540528371

Buch, Softcover, 1990, [PU: Springer Berlin], Springer Berlin, 1990

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Termination Proofs for Logic Programs
Autor:
Título:
ISBN:

3540528377


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.

Detalles del libro - Termination Proofs for Logic Programs


EAN (ISBN-13): 9783540528371
ISBN (ISBN-10): 3540528377
Tapa blanda
Año de publicación: 1990
Editorial: Springer Berlin
142 Páginas
Peso: 0,246 kg

Libro en la base de datos desde 2007-06-05T22:24:27+02:00 (Madrid)
Página de detalles modificada por última vez el 2022-10-25T19:28:29+02:00 (Madrid)
ISBN/EAN: 3540528377

ISBN - escritura alterna:
3-540-52837-7, 978-3-540-52837-1
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: plümer, plmer, lutz
Título del libro: logic for computer science, logics for artificial intelligence, lecture notes computer science, termination

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783540471639 Termination Proofs for Logic Programs (Lutz Plümer)

< para archivar...