Artículos con más ediciones

Saltar a: navegación, buscar

Abajo se muestran hasta 76 resultados entre el n.º 1 y el n.º 76.

Ver (500 anteriores | siguientes 500) (20 | 50 | 100 | 250 | 500).

  1. Seminario del Grupo de Lógica Computacional‏‎ (343 revisiones)
  2. Publications‏‎ (132 revisiones)
  3. Enlaces‏‎ (131 revisiones)
  4. Lecturas‏‎ (52 revisiones)
  5. APLI2 CS‏‎ (40 revisiones)
  6. Theories‏‎ (37 revisiones)
  7. APLI2S (APLIcaciones de Ayuda Para Lógica Informática)‏‎ (35 revisiones)
  8. Projects‏‎ (33 revisiones)
  9. Proyectos relacionados‏‎ (30 revisiones)
  10. A Formalization of Abstract Properties of Confluent Reductions in PVS‏‎ (30 revisiones)
  11. Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)‏‎ (23 revisiones)
  12. Razonamiento formalizado‏‎ (21 revisiones)
  13. Group members‏‎ (19 revisiones)
  14. Seminario tecnológico CTA en Inteligencia Artificial‏‎ (16 revisiones)
  15. Solución declarativa de problemas‏‎ (13 revisiones)
  16. Tecnologías‏‎ (11 revisiones)
  17. Formal Proof: Theory and Practice‏‎ (11 revisiones)
  18. A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution‏‎ (11 revisiones)
  19. Stem‏‎ (11 revisiones)
  20. Related courses‏‎ (10 revisiones)
  21. Verification of the formal concept analysis in PVS‏‎ (10 revisiones)
  22. MenuXML‏‎ (10 revisiones)
  23. A formally verified prover for the ALC description logic in PVS‏‎ (10 revisiones)
  24. Seminario de Lógica y Computación‏‎ (9 revisiones)
  25. A short survey of automated reasoning‏‎ (8 revisiones)
  26. Logic for Computer Science‏‎ (8 revisiones)
  27. Delicioso‏‎ (7 revisiones)
  28. Formal Proof: The Four-Color Theorem‏‎ (7 revisiones)
  29. Computational Logic Group‏‎ (7 revisiones)
  30. A formally verified prover for the ALC description logic (in PVS)‏‎ (7 revisiones)
  31. TinyDelicious‏‎ (7 revisiones)
  32. Lecturas del año 2013‏‎ (7 revisiones)
  33. How to (really) trust a mathematical proof‏‎ (6 revisiones)
  34. Material de interés para el Seminario del GLC‏‎ (6 revisiones)
  35. Solving challenging grid puzzles with answer set programming‏‎ (6 revisiones)
  36. Verificación de traductores de problemas combinatorios en SAT‏‎ (6 revisiones)
  37. Semantic Wikipedia‏‎ (5 revisiones)
  38. Verificación de sistemas SAT‏‎ (5 revisiones)
  39. Constraint Logic Programming using Eclipse‏‎ (5 revisiones)
  40. Theory of Refinements in PVS‏‎ (5 revisiones)
  41. Propuesta del Seminario tecnológico CTA en Inteligencia Artificial‏‎ (4 revisiones)
  42. Programas sencillos para problemas complejos‏‎ (4 revisiones)
  43. Sistemas verificados para el razonamiento en la web semántica‏‎ (4 revisiones)
  44. Mathematics and computer science: The interplay‏‎ (4 revisiones)
  45. Refinements‏‎ (4 revisiones)
  46. Main Page‏‎ (4 revisiones)
  47. Formalizing Desargues' theorem in Coq using ranks‏‎ (4 revisiones)
  48. Lecturas del año 2011‏‎ (4 revisiones)
  49. Formal Proof‏‎ (4 revisiones)
  50. Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)‏‎ (3 revisiones)
  51. Formal Correctness Proof for DPLL Procedure‏‎ (3 revisiones)
  52. Deduction using the ProofWeb system‏‎ (3 revisiones)
  53. Marrones2‏‎ (3 revisiones)
  54. A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic)‏‎ (3 revisiones)
  55. Lecturas del año 2014‏‎ (3 revisiones)
  56. Lecturas del año 2012‏‎ (3 revisiones)
  57. Formalizing basic first order model theory‏‎ (2 revisiones)
  58. Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA‏‎ (2 revisiones)
  59. Producciones‏‎ (2 revisiones)
  60. Lecturas del año 2010‏‎ (2 revisiones)
  61. Marrones‏‎ (2 revisiones)
  62. Portada‏‎ (2 revisiones)
  63. Categoría:Lecturas‏‎ (1 revisión)
  64. A formally verified prover for the ALC description logic‏‎ (1 revisión - página redirigida)
  65. Archivo de congresos anteriores‏‎ (1 revisión)
  66. Enumeración de los racionales‏‎ (1 revisión)
  67. Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)‏‎ (1 revisión)
  68. Lecturas comentadas‏‎ (1 revisión)
  69. Formalización del conocimiento matemático‏‎ (1 revisión - página redirigida)
  70. Gestión Mecanizada del conocimiento matemático‏‎ (1 revisión)
  71. Lecturas del año 2009‏‎ (1 revisión)
  72. Seminarios anteriores‏‎ (1 revisión)
  73. Realización del Estudio del Arte para el Proyecto EVAPREX‏‎ (1 revisión)
  74. Members‏‎ (1 revisión)
  75. Paella‏‎ (1 revisión)
  76. PROTEMO‏‎ (1 revisión)

Ver (500 anteriores | siguientes 500) (20 | 50 | 100 | 250 | 500).