A Proof Theory for Description Logics
- ISBN
- 9781447140023
A Proof Theory for Description Logics es un mathematical logic and formal languages, mathematics of computing book de Alexandre Rademaker.
Descubre A Proof Theory for Description Logics de Alexandre Rademaker, mathematical logic and formal languages.
Sobre el Autor
es el autor de A Proof Theory for Description Logics. Explora su catálogo completo en Booklogr.
Explora más libros de Alexandre Rademaker →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es A Proof Theory for Description Logics?+
A Proof Theory for Description Logics es un libro de Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science.
¿Quién escribió A Proof Theory for Description Logics?+
A Proof Theory for Description Logics fue escrito por Alexandre Rademaker.