A Proof Theory for Description Logics
by
 
Rademaker, Alexandre. author.

Title
: 
A Proof Theory for Description Logics

Author
: 
Rademaker, Alexandre. author.

ISBN
: 
9781447140023

Physical Description
: 
X, 106 p. 16 illus. online resource.

Series
: 
SpringerBriefs in Computer Science,

Series Title
: 
SpringerBriefs in Computer Science, 2191-5768

Subject Term
: 
Computer science.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-1-4471-4002-3


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book173517-2001ONLINEElektronik Kütüphane