A formally verified prover for the ALC description logic

De WikiGLC
Página de redirección
Saltar a: navegación, buscar

Redirige a:

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