University Of Zambia Online Public Access Catalogue
A proof theory for description logics / Alexandre Rademaker.
By: Rademaker, Alexandre [author].
Material type:
BookSeries: springer briefs in computer science. Publisher: New York : Springer, 2012Description: x, 106 pages : Illustrations. Media type: Carrier type: ISBN: 9781447140016 .Subject(s): Description logics | Proof theory -- Data processingOnline resources: Publisher description
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Book
|
Main Library On Shelf | QA 9.54 RAD 2012 (Browse shelf) | 1 | Available | 33729001641260 |
Browsing Main Library Shelves , Shelving location: On Shelf Close shelf browser
|
|
|
|
|
|
No cover image available | ||
| QA 9.25 TAM 2012 Thinking in numbers / | QA 9.25 TAM 2012 Thinking in numbers / | QA 9.4 PRI 2001 An introduction to non-classical logic/ | QA 9.54 RAD 2012 A proof theory for description logics / | QA 9.7 BAL 2016 Fundamentals of Stability Theory / | QA 10.7 NUN 1993 Street mathematics and school mathematics / | QA11 A review of research in mathematica education. |
Includes bibliographical references.
There are no comments for this item.