A proof theory for description logics

Author：by Alexandre Rademaker.
Publisher：Springer London
ISBN：9781447140023 (electronic bk.) ; 9781447140016 (paper)
Publication Date：2012
其他作者：Rademaker, Alexandre.
語言：eng
出版地：London :
Description

x, 106 p. ::ill., digital ;:23 cm.

Search Same Author