Artículos con más ediciones
Abajo se muestran hasta 76 resultados entre el n.º 1 y el n.º 76.
Ver (100 anteriores | siguientes 100) (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)
- Proyectos relacionados (30 revisiones)
- A Formalization of Abstract Properties of Confluent Reductions in PVS (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)
- Tecnologías (11 revisiones)
- Formal Proof: Theory and Practice (11 revisiones)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (11 revisiones)
- Stem (11 revisiones)
- Related courses (10 revisiones)
- Verification of the formal concept analysis in PVS (10 revisiones)
- MenuXML (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)
- Delicioso (7 revisiones)
- Formal Proof: The Four-Color Theorem (7 revisiones)
- Computational Logic Group (7 revisiones)
- A formally verified prover for the ALC description logic (in PVS) (7 revisiones)
- TinyDelicious (7 revisiones)
- Lecturas del año 2013 (7 revisiones)
- How to (really) trust a mathematical proof (6 revisiones)
- Material de interés para el Seminario del GLC (6 revisiones)
- Solving challenging grid puzzles with answer set programming (6 revisiones)
- Verificación de traductores de problemas combinatorios en SAT (6 revisiones)
- Semantic Wikipedia (5 revisiones)
- Verificación de sistemas SAT (5 revisiones)
- Constraint Logic Programming using Eclipse (5 revisiones)
- Theory of Refinements in PVS (5 revisiones)
- Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (4 revisiones)
- Programas sencillos para problemas complejos (4 revisiones)
- Sistemas verificados para el razonamiento en la web semántica (4 revisiones)
- Mathematics and computer science: The interplay (4 revisiones)
- Refinements (4 revisiones)
- Main Page (4 revisiones)
- Formalizing Desargues' theorem in Coq using ranks (4 revisiones)
- Lecturas del año 2011 (4 revisiones)
- Formal Proof (4 revisiones)
- Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN) (3 revisiones)
- Formal Correctness Proof for DPLL Procedure (3 revisiones)
- Deduction using the ProofWeb system (3 revisiones)
- Marrones2 (3 revisiones)
- A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) (3 revisiones)
- Lecturas del año 2014 (3 revisiones)
- Lecturas del año 2012 (3 revisiones)
- Formalizing basic first order model theory (2 revisiones)
- Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA (2 revisiones)
- Producciones (2 revisiones)
- Lecturas del año 2010 (2 revisiones)
- Marrones (2 revisiones)
- Portada (2 revisiones)
- Categoría:Lecturas (1 revisión)
- A formally verified prover for the ALC description logic (1 revisión - página redirigida)
- Archivo de congresos anteriores (1 revisión)
- Enumeración de los racionales (1 revisión)
- Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040) (1 revisión)
- Lecturas comentadas (1 revisión)
- Formalización del conocimiento matemático (1 revisión - página redirigida)
- Gestión Mecanizada del conocimiento matemático (1 revisión)
- Lecturas del año 2009 (1 revisión)
- Seminarios anteriores (1 revisión)
- Realización del Estudio del Arte para el Proyecto EVAPREX (1 revisión)
- Members (1 revisión)
- Paella (1 revisión)
- PROTEMO (1 revisión)
Ver (100 anteriores | siguientes 100) (20 | 50 | 100 | 250 | 500).