Todos los registros públicos
Vista combinada de todos los registros de WikiGLC. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.
- 20:25 8 feb 2012 Jalonso (discusión | contribuciones) trasladó la página A formally verified prover for the ALC description logic a A formally verified prover for the ALC description logic in PVS
- 09:25 25 nov 2008 Jalonso (discusión | contribuciones) trasladó la página Formalización del conocimiento matemático a Razonamiento formalizado