Foundations of Logic Programming (Symbolic Computation). Questo articolo non è disponibile.
7 valutazioni di Goodreads
Lingua: inglese
Editore: Springer, 1993
- Rilegato
- Nuovo
Da: Toscana Books, AUSTIN, TX, U.S.A.Toscana Books
Venditore con 5 stelle
Venditore AbeBooks dal 7 novembre 2023
Non disponibile
Rilegato
Condizione: Nuovo
EUR 314,15
Descrizione dell’articolo da parte del venditore
Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
Codice articolo Scanned3540181997
- Titolo
- Foundations of Logic Programming (Symbolic Computation)
- Autore
- Lloyd, John W.
- Editore
- Springer
- Anno di pubblicazione
- 1993
- Condizione
- new
- Rilegatura
- Hardcover
- Lingua
- inglese
- ISBN 10
- 3540181997
- ISBN 13
- 9783540181996
- Edizione
- seconda edizione
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Contents: Preliminaries.- Definite Programs.- Normal Programs.- Programs.- Deductive Databases.- Perpetual Processes.- References.- Notation.- Index.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.