A proof theory for description logics
SpringerLink (Online service)

 

  • A proof theory for description logics
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: A proof theory for description logics/ by Alexandre Rademaker.
    Author: Rademaker, Alexandre.
    Published: London :Springer London, : 2012.,
    Description: x, 106 p. :ill., digital ; : 23 cm.;
    Contained By: Springer eBooks
    Subject: Description logics. -
    Online resource: http://dx.doi.org/10.1007/978-1-4471-4002-3
    ISBN: 9781447140023 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login