Search: Combining And Automating Classical And Non-Classical Logics
2011
[1]Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (Christoph Benzmüller), In Annals of Mathematics and Artificial Intelligence (Special issue Computational Logics in Multi-agent Systems (CLIMA XI)), volume 62, number 1-2, pp. 103-128, 2011. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/J25.pdf) [bibtex] [doi]
Powered by bibtexbrowser