Información de «A formally verified prover for the ALC description logic»

Saltar a: navegación, buscar

Información básica

Título visualizadoA formally verified prover for the ALC description logic
Redirige aA formally verified prover for the ALC description logic in PVS (Información)
Criterio de ordenación predeterminadoA formally verified prover for the ALC description logic
Longitud de la página (en bytes)77
Identificador de la página105
Idioma de la páginaes - español
Modelo de contenido de la páginatexto wiki
Indización por robotsPermitido
Número de redirecciones a esta página0

Protección de página

EditarPermitir todos los usuarios (infinito)
TrasladarPermitir todos los usuarios (infinito)

Historial de ediciones

Creador de la páginaJalonso (discusión | contribuciones)
Fecha de creación de la página20:25 8 feb 2012
Último editorJalonso (discusión | contribuciones)
Fecha de la última edición20:25 8 feb 2012
Número total de ediciones1
Número total de autores distintos1
Número de ediciones recientes (en los últimos 90 días)0
Número de autores distintos recientes0
Obtenido de «https://www.glc.us.es/wiki/A_formally_verified_prover_for_the_ALC_description_logic»