- 5 resultaten
laagste prijs: € 6,12, hoogste prijs: € 64,19, gemiddelde prijs: € 50,63
1
Termination Proofs for Logic Programs - Lutz Plümer
bestellen
bij AbeBooks.de
€ 64,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Lutz Plümer:

Termination Proofs for Logic Programs - pocketboek

1990, ISBN: 3540528377

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

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
2
Termination Proofs for Logic Programs - Lutz Plümer
bestellen
bij lehmanns.de
€ 64,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Lutz Plümer:

Termination Proofs for Logic Programs - pocketboek

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… Meer...

Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00)
dichtslaan (X)
3
Termination Proofs for Logic Programs - Lutz Pluemer
bestellen
bij booklooker.de
€ 54,45
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Lutz Pluemer:
Termination Proofs for Logic Programs - pocketboek

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… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
dichtslaan (X)
4
bestellen
bij Biblio.co.uk
$ 7,14
(ongeveer € 6,12)
verzending: € 11,141
bestellen
Details aangeboden
Gesponsorde link
Lutz Plümer:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - pocketboek

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… Meer...

USA, USA - Verzendingskosten: EUR 11.14 GuthrieBooks, Ergodebooks
dichtslaan (X)
5
Termination Proofs for Logic Programs - Lutz Plümer
bestellen
bij lehmanns.de
€ 64,19
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Lutz Plümer:
Termination Proofs for Logic Programs - pocketboek

1990, ISBN: 9783540528371

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

Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Termination Proofs for Logic Programs
auteur:
Titel:
ISBN:

9783540528371


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.

Gedetalleerde informatie over het boek. - Termination Proofs for Logic Programs


EAN (ISBN-13): 9783540528371
ISBN (ISBN-10): 3540528377
pocket book
Verschijningsjaar: 1990
Uitgever: Springer Berlin
142 Bladzijden
Gewicht: 0,246 kg

Boek bevindt zich in het datenbestand sinds 2007-06-05T22:24:27+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-10-25T19:28:29+02:00 (Amsterdam)
ISBN/EAN: 9783540528371

ISBN - alternatieve schrijfwijzen:
3-540-52837-7, 978-3-540-52837-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: plümer, plmer, lutz
Titel van het boek: logic for computer science, logics for artificial intelligence, lecture notes computer science, termination

Gegevens van de uitgever

Auteur: Lutz Plümer
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Termination Proofs for Logic Programs
Uitgeverij: Springer; Springer Berlin
142 Bladzijden
Verschijningsjaar: 1990-07-24
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 142 p.

BC; Hardcover, Softcover / 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; Artificial Intelligence; Compilers and Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Software Engineering; Theoretische Informatik; EA

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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540471639 Termination Proofs for Logic Programs (Lutz Plümer)

< naar Archief...