A proof theory for description logics /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
London :
Springer,
c2012.
|
| Colección: | SpringerBriefs in computer science / series Editors Stan Zdonik [y otros nueve]
|
| Materias: | |
| Acceso en línea: | Ver documento en línea |
Internet
Ver documento en líneaSistema de Bibliotecas de Universidad de Costa Rica
| Número de Clasificación: |
006.332 |
|---|---|
| Copia | Disponible |