Skip to content
NovaLib
Sample Page
library
NovaLib
Main Menu
Sample Page
Library
/
Author
/
Alexandre Rademaker
Books by author
Alexandre Rademaker
A proof theory for description logics
2012 · ENGLISH · PDF
View details
→