Foundations of Logic Programming (Symbolic Computation). Cet article n’est pas disponible.
7 évaluations par Goodreads
Langue : anglais
Edité par Springer, 1993
- Livre relié
- Neuf

Vendeur : Toscana Books, AUSTIN, TX, Etats-UnisToscana Books
Vendeur avec une évaluation de 5 étoiles
Vendeur AbeBooks depuis 7 novembre 2023
Indisponible
Livre relié
Etat: Neuf
EUR 314,15
Item description from seller
Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
N° de réf. du vendeur Scanned3540181997
- Titre
- Foundations of Logic Programming (Symbolic Computation)
- Auteur
- Lloyd, John W.
- Éditeur
- Springer
- Année de publication
- 1993
- État de l'article
- new
- Reliure
- Hardcover
- Langue
- anglais
- ISBN à 10 chiffres
- 3540181997
- ISBN à 13 chiffres
- 9783540181996
- Édition
- 2ème Édition
This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples and problems. The text is intended to be self-contained, the only prerequisites being some familiarity with PROLOG and knowledge of some basic undergraduate mathematics. The material is suitable either as a reference book for researchers or as a textbook for a graduate course on the theoretical aspects of logic programming and deductive database systems.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.