1
by Hitzler, Pascal
Published 2011
Taylor & Francis
... account of the mathematical methods and tools required for the semantic analysis of logic programs...

2
by Hitzler, Pascal
Published 2010
Taylor & Francis
... Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required...