A Proof Theory for Description Logics [electronic resource] / by Alexandre Rademaker.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9781447140023
- Physical Description: X, 106 p. 16 illus. online resource.
- Publisher: London : Springer London : 2012.
Search for related items by subject
Subject: | Computer science. Computer Science. Mathematical Logic and Formal Languages. Mathematics of Computing. |