Páginas sin interwikis
Las siguientes páginas no enlazan a versiones en otros idiomas:
Abajo se muestran hasta 20 resultados entre el n.º 1 y el n.º 20.
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- APLI2 CS
- Archivo de congresos anteriores
- A Formalization of Abstract Properties of Confluent Reductions in PVS
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- A formally verified prover for the ALC description logic (in PVS)
- A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic)
- A formally verified prover for the ALC description logic in PVS
- A short survey of automated reasoning
- Categoría:Lecturas
- Computational Logic Group
- Constraint Logic Programming using Eclipse
- Deduction using the ProofWeb system
- Delicioso
- Enlaces
- Enumeración de los racionales
- Formalizing basic first order model theory
- Formalizing Desargues' theorem in Coq using ranks
- Formal Correctness Proof for DPLL Procedure
- Formal Proof
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).