Welcome to Central Library, SUST

Mathematical aspects of logic programming semantics

Hitzler, Pascal.

Mathematical aspects of logic programming semantics [electronic resource] / Pascal Hitzler, Anthony Seda. - Boca Raton : CRC Press, 2011. - xxx, 274 p. : ill. - Chapman & Hall/CRC studies in informatics series .

"A Chapman & Hall book."

Includes bibliographical references (p. 243-264) and index.

9781439829622 (ebook : PDF)


Logic programming.
Programming languages (Electronic computers)--Semantics.