Mathematical Aspects of Logic Programming Semantics Chapman and Hall CRC Studies in Informatics Series .pdf
4.07 MB