TY  - BOOK
AU  - Hitzler,Pascal
AU  - Seda,Anthony
TI  - Mathematical aspects of logic programming semantics
T2  - Chapman & Hall/CRC studies in informatics series
SN  - 9781439829622 (ebook : PDF)
PY  - 2011///
CY  - Boca Raton
PB  - CRC Press
KW  - Logic programming
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - "A Chapman & Hall book."; Includes bibliographical references (p. 243-264) and index
UR  - http://marc.crcnetbase.com/isbn/9781439829622
ER  -