Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 1,56 €, prix le plus élevé: 63,90 €, prix moyen: 26,84 €
Termination Proofs For Logic Programs
Livre non disponible
(*)
Termination Proofs For Logic Programs - nouveau livre

ISBN: 9783540528371

ID: 9814014

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. 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. Books, Computing~~Computer Programming/Software Development~~Programming & Scripting Languages: General, Termination Proofs For Logic Programs~~Book~~9783540528371~~Lutz Plumer, , , , , , , , , ,, [PU: Springer, Berlin/Heidelberg]

Nouveaux livres Hive.co.uk
MPN: , SKU 9814014 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Termination Proofs for Logic Programs - Lutz Plümer
Livre non disponible
(*)
Lutz Plümer:
Termination Proofs for Logic Programs - nouveau livre

ISBN: 9783540528371

ID: 202826961

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. Termination Proofs for Logic Programs Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Nouveaux livres Thalia.de
No. 1881839 Frais d'envoi, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl??mer, Lutz
Livre non disponible
(*)
Pl??mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Livres de poche

2008, ISBN: 9783540528371

[PU: Springer], 156 Seiten TaschenbuchGepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 654741.01, [SC: 3.00]

livre d'occasion Booklooker.de
getbooks GmbH
Frais d'envoiVersand nach Deutschland (EUR 3.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl??mer, Lutz
Livre non disponible
(*)
Pl??mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Livres de poche

2008, ISBN: 9783540528371

ID: 235595

Springer, 2008., Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. 654741.01, 156 Seiten Taschenbuch

livre d'occasion ZVAB.com
getbooks GmbH
Frais d'envoi EUR 3.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl?mer, Lutz
Livre non disponible
(*)
Pl?mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - livre d'occasion

ISBN: 9783540528371

ID: 647082125

Springer. Used - Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!, Springer

livre d'occasion Biblio.com
Better World Books
Frais d'envoi EUR 15.21
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Termination Proofs for Logic Programs

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.

Informations détaillées sur le livre - Termination Proofs for Logic Programs


EAN (ISBN-13): 9783540528371
ISBN (ISBN-10): 3540528377
Livre de poche
Date de parution: 1990
Editeur: Springer-Verlag GmbH
142 Pages
Poids: 0,246 kg

Livre dans la base de données depuis 05.06.2007 22:24:27
Livre trouvé récemment le 12.03.2016 07:15:27
ISBN/EAN: 9783540528371

ISBN - Autres types d'écriture:
3-540-52837-7, 978-3-540-52837-1


< pour archiver...
Livres en relation