Archivo bibliográfico
Formally verified tableau-based reasoners for a description logic
Número 50 de 132 Artículos | ← Anterior Siguiente → | ↑ Elegir otro tipo de referencia
| Título secundario | Journal of Automated Reasoning |
|---|---|
| Año de publicación | 2014 |
| Autores primarios | Hidalgo-Doblado, M. J.; Alonso-Jiménez, J. A.; Borrego Díaz, Joaquín; Martín-Mateos, F. J.; Ruiz-Reina, J. L. |
| Volumen | 52 |
| Página inicial | 331 |
| Página final | 360 |
| ISSN / ISBN | 0168-7433 |
| Idioma | Inglés |
| Editorial | Springer Netherlands |