Páginas más antiguas

Saltar a: navegación, buscar

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

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

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

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

Obtenido de «https://www.glc.us.es/wiki/Especial:PáginasAntiguas»