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