Páginas que enlazan con «Plantilla:Jruiz»
Las siguientes páginas enlazan a Plantilla:Jruiz:
Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).- Publications (inclusión) (← enlaces)
- Seminario del Grupo de Lógica Computacional (inclusión) (← enlaces)
- Verificación de sistemas SAT (inclusión) (← enlaces)
- Verification of the formal concept analysis in PVS (inclusión) (← enlaces)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (inclusión) (← enlaces)
- A formally verified prover for the ALC description logic in PVS (inclusión) (← enlaces)
- A formally verified prover for the ALC description logic (in PVS) (inclusión) (← enlaces)