TY - BOOK AU - Hitzler, Pascal||Seda, Anthony TI - Mathematical Aspects of Logic Programming Semantics KW - Computer Science (General)||Intelligent Systems||Machine Learning||SCI-TECH||COMPUTERSCIENCE||ITECH||INFORMATIONSCIENCE||STM||complete||fixed||ground||level||mappings||order||partial||point||predicate||symbol UR - https://library.oapen.org/bitstream/20.500.12657/41648/1/9781439829622.pdf ER -