University of Zambia Library

Your cart is empty.

University of Zambia Logo University Of Zambia Online Public Access Catalogue

Normal view MARC view ISBD view

A proof theory for description logics / Alexandre Rademaker.

By: Rademaker, Alexandre [author].
Material type: materialTypeLabelBookSeries: 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
Book Book Main Library
On Shelf 		QA 9.54 RAD 2012 (Browse shelf) 1 Available 33729001641260

Includes bibliographical references.

There are no comments for this item.

Log in to your account to post a comment.