Cover Image
Read Now

1
by Hitzler, Pascal
Published 2010
Taylor & Francis
“... for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order...”
Cover Image
Read Now

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