| A Proof Theory for Description Logics 2012 Edition Contributor(s): Rademaker, Alexandre (Author) |
|
 |
ISBN: 144714001X ISBN-13: 9781447140016 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: May 2012 |
| Additional Information |
| BISAC Categories: - Computers | Data Processing - Mathematics | Logic - Computers | Expert Systems |
| Dewey: 006.332 |
| LCCN: 2012937297 |
| Series: Springerbriefs in Computer Science |
| Physical Information: 0.3" H x 6.1" W x 9" (0.50 lbs) 106 pages |