A proof theory for description logics

作者：by Alexandre Rademaker.
出版社：Springer London
ISBN：9781447140023 (electronic bk.) ; 9781447140016 (paper)
出版日期：2012
其他作者：Rademaker, Alexandre.
語言：eng
出版地：London :
內容簡介

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

搜尋同作者