TY  - BOOK
AU  - Hitzler Pascal
AU  - Seda Anthony
TI  - Mathematical aspects of logic programming semantics
SN  - 978-1-4398-2961-5
U1  - 005.115 
PY  - 2011///
CY  - Boca Raton
PB  - CRC Press
KW  - Logic programming
KW  - Programming languages(Electronic computers)-semantics
ER  -