Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:32 19 nov 2008 (dif | hist) . . (+181) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:30 19 nov 2008 (dif | hist) . . (+91) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:23 19 nov 2008 (dif | hist) . . (+730) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:09 19 nov 2008 (dif | hist) . . (0) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:08 19 nov 2008 (dif | hist) . . (+536) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 16:47 19 nov 2008 (dif | hist) . . (+168) . . Enlaces (→Enlaces a congresos)
- 16:19 19 nov 2008 (dif | hist) . . (+35) . . How to (really) trust a mathematical proof (edición actual)
- 13:06 19 nov 2008 (dif | hist) . . (+242) . . Razonamiento formalizado
- 12:59 19 nov 2008 (dif | hist) . . (-4) . . Programas sencillos para problemas complejos (edición actual)
- 12:34 19 nov 2008 (dif | hist) . . (+62) . . Verificación de traductores de problemas combinatorios en SAT (edición actual)
- 12:33 19 nov 2008 (dif | hist) . . (+62) . . Verificación de sistemas SAT (edición actual)
- 12:33 19 nov 2008 (dif | hist) . . (+86) . . Programas sencillos para problemas complejos
- 12:32 19 nov 2008 (dif | hist) . . (+132) . . Solución declarativa de problemas (edición actual)
- 12:30 19 nov 2008 (dif | hist) . . (+272) . . Programas sencillos para problemas complejos
- 12:26 19 nov 2008 (dif | hist) . . (+246) . . N Programas sencillos para problemas complejos (New page: El objetivo del proyecto es estudiar problemas complejos (problemas tradicionales de IA o problemas NP duros) y conseguir programas sencillos (de código corto y simple) que lo resuelvan. ...)
- 12:23 19 nov 2008 (dif | hist) . . (+51) . . Projects (→Proyectos futuros)
- 12:03 19 nov 2008 (dif | hist) . . (+253) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:50 19 nov 2008 (dif | hist) . . (+160) . . Razonamiento formalizado
- 11:47 19 nov 2008 (dif | hist) . . (+1169) . . N Razonamiento formalizado (New page: Este es un megaproyecto. Según [http://www.ams.org/notices/200811/tx081101370p.pdf Thomas Hales] "the formalization of just 100,000 pages of core mathematics" sería "the sequencing of a ...)
- 11:33 19 nov 2008 (dif | hist) . . (+50) . . Projects
- 11:27 19 nov 2008 (dif | hist) . . (-9) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 11:27 19 nov 2008 (dif | hist) . . (+477) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:16 19 nov 2008 (dif | hist) . . (0) . . Proyectos relacionados (→Universidad de Liverpool)
- 11:16 19 nov 2008 (dif | hist) . . (+179) . . Proyectos relacionados (→Proyectos de investigación)
- 10:50 19 nov 2008 (dif | hist) . . (-2) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Proyectos relacionados)
- 10:50 19 nov 2008 (dif | hist) . . (+981) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 10:12 19 nov 2008 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 10:12 19 nov 2008 (dif | hist) . . (+199) . . Enlaces (→Enlaces a congresos)
- 09:19 19 nov 2008 (dif | hist) . . (-6) . . How to (really) trust a mathematical proof
- 09:17 19 nov 2008 (dif | hist) . . (+24) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (0) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (-3) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (+1682) . . N How to (really) trust a mathematical proof (New page: J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof How to (really) trust a mathematical proof]''. ScienceNews, 14 de Noviembre...)
- 08:54 19 nov 2008 (dif | hist) . . (+1) . . Lecturas
- 08:53 19 nov 2008 (dif | hist) . . (-98) . . Lecturas
- 08:52 19 nov 2008 (dif | hist) . . (+176) . . Lecturas
- 00:17 19 nov 2008 (dif | hist) . . (+90) . . Proyectos relacionados (→Propuestas de Proyectos de Tesis Doctoral)
- 11:17 13 nov 2008 (dif | hist) . . (+103) . . Related courses
- 11:12 13 nov 2008 (dif | hist) . . (-5) . . Deduction using the ProofWeb system (edición actual)
- 11:11 13 nov 2008 (dif | hist) . . (+63) . . Deduction using the ProofWeb system
- 11:10 13 nov 2008 (dif | hist) . . (+129) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:08 13 nov 2008 (dif | hist) . . (+847) . . N Deduction using the ProofWeb system (New page: C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer ''[http://proofweb.cs.ru.nl/man.pdf Deduction using the ProofWeb system]''. ICIS Technical Report, 2008. --...)
- 10:58 13 nov 2008 (dif | hist) . . (+140) . . Lecturas
- 10:02 13 nov 2008 (dif | hist) . . (+387) . . Material de interés para el Seminario del GLC (→Sistemas para la enseñanza de la lógica)
- 11:40 12 nov 2008 (dif | hist) . . (-2) . . Formalizing Desargues' theorem in Coq using ranks
- 11:39 12 nov 2008 (dif | hist) . . (+64) . . Mathematics and computer science: The interplay (edición actual)
- 11:39 12 nov 2008 (dif | hist) . . (+89) . . Formalizing Desargues' theorem in Coq using ranks
- 11:38 12 nov 2008 (dif | hist) . . (+64) . . Semantic Wikipedia (edición actual)
- 11:38 12 nov 2008 (dif | hist) . . (+64) . . A short survey of automated reasoning (edición actual)
- 11:37 12 nov 2008 (dif | hist) . . (0) . . Solving challenging grid puzzles with answer set programming (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
