Lista de redirecciones

Saltar a: navegación, buscar

Abajo se muestran hasta 2 resultados entre el n.º 1 y el n.º 2.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

  1. A formally verified prover for the ALC description logic →‎ A formally verified prover for the ALC description logic in PVS
  2. Formalización del conocimiento matemático →‎ Razonamiento formalizado

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

Obtenido de «https://www.glc.us.es/wiki/Especial:TodasLasRedirecciones»