Extending Classical Theorem Proving for the Semantic Web

Tanel Tammet (Tallinn Technical University, tammet@staff.ttu.ee) Abstract. We investigate ... uller, C., Leitsch, A., Tammet, T., Zamov, N. Resolution methods ...Download Extending Classical Theorem Proving for the Semantic WebDownload

eBook download