A Proof Theory for Description Logics

Format:: e-book
Title:: A Proof Theory for Description Logics
Author:: Rademaker, Alexandre
Language:: English
Publisher:: Springer London 2012
ISBN:: 1-4471-4001-X
1-4471-4002-8
9786613703453
1-280-79306-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:2550000000100630?locale=en