- 5 Résultats
prix le plus bas: € 6,12, prix le plus élevé: € 64,19, prix moyen: € 50,63
1
Termination Proofs for Logic Programs - Lutz Plümer
Commander
sur AbeBooks.de
€ 64,19
Envoi: € 0,001
CommanderLien sponsorisé
Lutz Plümer:

Termination Proofs for Logic Programs - Livres de poche

1990, ISBN: 3540528377

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

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Termination Proofs for Logic Programs - Lutz Plümer
Commander
sur lehmanns.de
€ 64,19
Envoi: € 0,001
CommanderLien sponsorisé

Lutz Plümer:

Termination Proofs for Logic Programs - Livres de poche

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… Plus…

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)
3
Termination Proofs for Logic Programs - Lutz Pluemer
Commander
sur booklooker.de
€ 54,45
Envoi: € 0,001
CommanderLien sponsorisé
Lutz Pluemer:
Termination Proofs for Logic Programs - Livres de poche

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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
4
Commander
sur Biblio.co.uk
$ 7,14
(environ € 6,12)
Envoi: € 11,141
CommanderLien sponsorisé
Lutz Plümer:
Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) - Livres de poche

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… Plus…

USA, USA - Frais d'envoi EUR 11.14 GuthrieBooks, Ergodebooks
5
Termination Proofs for Logic Programs - Lutz Plümer
Commander
sur lehmanns.de
€ 64,19
Envoi: € 0,001
CommanderLien sponsorisé
Lutz Plümer:
Termination Proofs for Logic Programs - Livres de poche

1990, ISBN: 9783540528371

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

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

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 Berlin
142 Pages
Poids: 0,246 kg

Livre dans la base de données depuis 2007-06-05T22:24:27+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-10-25T19:28:29+02:00 (Zurich)
ISBN/EAN: 9783540528371

ISBN - Autres types d'écriture:
3-540-52837-7, 978-3-540-52837-1
Autres types d'écriture et termes associés:
Auteur du livre: plümer, plmer, lutz
Titre du livre: logic for computer science, logics for artificial intelligence, lecture notes computer science, termination


Données de l'éditeur

Auteur: Lutz Plümer
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Termination Proofs for Logic Programs
Editeur: Springer; Springer Berlin
142 Pages
Date de parution: 1990-07-24
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540471639 Termination Proofs for Logic Programs (Lutz Plümer)


< pour archiver...