A Proof Theory for Description Logics - bib.howest.be

A Proof Theory for Description Logics

Type:: e-book
Titel:: A Proof Theory for Description Logics
Auteur:: Rademaker, Alexandre
Taal:: Engels
Uitgever:: 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