Foundations of Logic Programming (Symbolic Computation)

Lloyd, John W.

ISBN 10: 3540181997 ISBN 13: 9783540181996
Edité par Springer, 1993
Neuf(s) Hardcover

Vendeur Toscana Books, AUSTIN, TX, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 7 novembre 2023


A propos de cet article

Description :

Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. N° de réf. du vendeur Scanned3540181997

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Foundations of Logic Programming (Symbolic ...
Éditeur : Springer
Date d'édition : 1993
Reliure : Hardcover
Etat : new
Edition : 2ème Édition

Meilleurs résultats de recherche sur AbeBooks