E-book
A Proof Theory for Description Logics
Record details
- ISBN: 9781447140023
-
Physical Description:
electronic
electronic resource
access
remote
X, 106 p. 16 illus. online resource. - Publisher: London : Springer London : Imprint: Springer, 2012.
Search for related items by subject
| Subject: | Computer science Computer Science Mathematical Logic and Formal Languages Mathematics of Computing |
