Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540528377 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 1,56 €, größter Preis: 63,90 €, Mittelwert: 26,84 €
Termination Proofs For Logic Programs
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Termination Proofs For Logic Programs - neues Buch

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]

Neues Buch Hive.co.uk
MPN: , SKU 9814014 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Termination Proofs for Logic Programs - Lutz Plümer
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Lutz Plümer:
Termination Proofs for Logic Programs - neues Buch

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

Neues Buch Thalia.de
No. 1881839 Versandkosten:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl??mer, Lutz
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Pl??mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

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]

gebrauchtes bzw. antiquarisches Buch Booklooker.de
getbooks GmbH
Versandkosten:Versand nach Deutschland (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl??mer, Lutz
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Pl??mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Taschenbuch

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

gebrauchtes bzw. antiquarisches Buch ZVAB.com
getbooks GmbH
Versandkosten: EUR 3.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Pl?mer, Lutz
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Pl?mer, Lutz:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - gebrauchtes Buch

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

gebrauchtes bzw. antiquarisches Buch Biblio.com
Better World Books
Versandkosten: EUR 15.21
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
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.

Detailangaben zum Buch - Termination Proofs for Logic Programs


EAN (ISBN-13): 9783540528371
ISBN (ISBN-10): 3540528377
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Springer-Verlag GmbH
142 Seiten
Gewicht: 0,246 kg

Buch in der Datenbank seit 05.06.2007 22:24:27
Buch zuletzt gefunden am 12.03.2016 07:15:27
ISBN/EAN: 3540528377

ISBN - alternative Schreibweisen:
3-540-52837-7, 978-3-540-52837-1


< zum Archiv...
Benachbarte Bücher