Artículos con más ediciones
Abajo se muestran hasta 50 resultados entre el n.º 1 y el n.º 50.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- Seminario del Grupo de Lógica Computacional (343 revisiones)
- Publications (132 revisiones)
- Enlaces (131 revisiones)
- Lecturas (52 revisiones)
- APLI2 CS (40 revisiones)
- Theories (37 revisiones)
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (35 revisiones)
- Projects (33 revisiones)
- A Formalization of Abstract Properties of Confluent Reductions in PVS (30 revisiones)
- Proyectos relacionados (30 revisiones)
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (23 revisiones)
- Razonamiento formalizado (21 revisiones)
- Group members (19 revisiones)
- Seminario tecnológico CTA en Inteligencia Artificial (16 revisiones)
- Solución declarativa de problemas (13 revisiones)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (11 revisiones)
- Stem (11 revisiones)
- Tecnologías (11 revisiones)
- Formal Proof: Theory and Practice (11 revisiones)
- MenuXML (10 revisiones)
- Related courses (10 revisiones)
- Verification of the formal concept analysis in PVS (10 revisiones)
- A formally verified prover for the ALC description logic in PVS (10 revisiones)
- Seminario de Lógica y Computación (9 revisiones)
- A short survey of automated reasoning (8 revisiones)
- Logic for Computer Science (8 revisiones)
- Computational Logic Group (7 revisiones)
- Delicioso (7 revisiones)
- A formally verified prover for the ALC description logic (in PVS) (7 revisiones)
- Formal Proof: The Four-Color Theorem (7 revisiones)
- TinyDelicious (7 revisiones)
- Lecturas del año 2013 (7 revisiones)
- Verificación de traductores de problemas combinatorios en SAT (6 revisiones)
- Material de interés para el Seminario del GLC (6 revisiones)
- Solving challenging grid puzzles with answer set programming (6 revisiones)
- How to (really) trust a mathematical proof (6 revisiones)
- Verificación de sistemas SAT (5 revisiones)
- Constraint Logic Programming using Eclipse (5 revisiones)
- Semantic Wikipedia (5 revisiones)
- Theory of Refinements in PVS (5 revisiones)
- Lecturas del año 2011 (4 revisiones)
- Formal Proof (4 revisiones)
- Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (4 revisiones)
- Programas sencillos para problemas complejos (4 revisiones)
- Mathematics and computer science: The interplay (4 revisiones)
- Sistemas verificados para el razonamiento en la web semántica (4 revisiones)
- Refinements (4 revisiones)
- Formalizing Desargues' theorem in Coq using ranks (4 revisiones)
- Main Page (4 revisiones)
- A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) (3 revisiones)
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).