Páginas que enlazan con «Plantilla:Fmartin»
Las siguientes páginas enlazan a Plantilla:Fmartin:
Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).- Projects (inclusión) (← enlaces)
- Publications (inclusión) (← enlaces)
- Seminario del Grupo de Lógica Computacional (inclusión) (← enlaces)
- Seminarios anteriores (inclusión) (← enlaces)
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (inclusión) (← enlaces)
- Verificación de sistemas SAT (inclusión) (← enlaces)
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (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)