A Proof Theory for Description Logics
Hardcover: 108 pages
Publisher: Springer (May 17, 2012)
Language: English
ISBN-10: 144714001X
A Proof Theory for Description Logics
Hardcover: 108 pages
Publisher: Springer (May 17, 2012)
Language: English
ISBN-10: 144714001X