A Proof Theory for Description Logics
By: by Alexandre Rademaker
Contributors: SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Publisher: Springer London
Published: 2012
Place of publication: London
Language: eng
Format: [electronic resource] /
ISBN-13: 9781447140023
Subjects: Mathematical Logic and Formal Languages; Mathematics of Computing; Computer science