A formally verified prover for the ALC description logic

De WikiGLC

Revisión del 21:25 8 feb 2012 de Jalonso (discusión | contribuciones) (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Página de redirección

Saltar a: navegación, buscar

Redirige a:

A formally verified prover for the ALC description logic in PVS

Obtenido de «https://www.glc.us.es/web/index.php?title=A_formally_verified_prover_for_the_ALC_description_logic&oldid=1128»