- 4 Ergebnisse
Kleinster Preis: € 50,28, größter Preis: € 51,16, Mittelwert: € 50,72
1
Termination Proofs for Logic Programs - Lutz Plümer
Bestellen
bei Springer.com
€ 50,28
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Lutz Plümer:

Termination Proofs for Logic Programs - neues Buch

ISBN: 9783540471639

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 littl… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
2
Termination Proofs for Logic Programs - Lutz Plümer
Bestellen
bei Springer.com
€ 50,28
Bestellen
Details und Versand
gesponserter Link

Lutz Plümer:

Termination Proofs for Logic Programs - neues Buch

ISBN: 9783540471639

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 littl… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Termination Proofs for Logic Programs - Lutz Plümer
Bestellen
bei Springer.com
€ 51,16
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Lutz Plümer:
Termination Proofs for Logic Programs - neues Buch

ISBN: 9783540471639

Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and F… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
4
Termination Proofs for Logic Programs - Lutz Plümer
Bestellen
bei Springer.com
€ 51,16
Bestellen
Details und Versand
gesponserter Link
Lutz Plümer:
Termination Proofs for Logic Programs - neues Buch

ISBN: 9783540471639

Computer Science; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and F… Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Termination Proofs for Logic Programs
Autor:
Titel:
ISBN-Nummer:

9783540471639

Detailangaben zum Buch - Termination Proofs for Logic Programs


EAN (ISBN-13): 9783540471639
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-16T14:42:45+02:00 (Berlin)
ISBN/EAN: 9783540471639

ISBN - alternative Schreibweisen:
978-3-540-47163-9

Daten vom Verlag:

Autor/in: Lutz Plümer
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Termination Proofs for Logic Programs
Verlag: Springer; Springer Berlin
142 Seiten
Erscheinungsjahr: 2005-07-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 142 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; Logische Programmierung; Partielle Auswertung; Terminierung; Verifikation; automation; linear predicate inequalities; lineare Prädikatungleichungen; logic; logic programs; partial evaluation; programming; semantics; termination; verification; B; Artificial Intelligence; Compilers and Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Compiler und Übersetzer; Software Engineering; Theoretische Informatik; BC

Basic notions.- Static program properties and transformations.- Terminating logic programs.- The problem of local variables.- And/or dataflow graphs.- A termination proof procedure.- Integration of unfolding techniques.- Conclusions.
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387528373 Termination Proofs for Logic Programs (Lecture Notes in Computer Science) (Plumer, Lutz)

< zum Archiv...