Páginas largas

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

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

1. (hist) ‎Seminario del Grupo de Lógica Computacional ‎[45 804 bytes]
2. (hist) ‎Lecturas del año 2013 ‎[43 553 bytes]
3. (hist) ‎Publications ‎[38 821 bytes]
4. (hist) ‎Enumeración de los racionales ‎[35 373 bytes]
5. (hist) ‎Lecturas del año 2011 ‎[26 200 bytes]
6. (hist) ‎Lecturas del año 2012 ‎[22 910 bytes]
7. (hist) ‎Lecturas del año 2014 ‎[20 968 bytes]
8. (hist) ‎Seminario tecnológico CTA en Inteligencia Artificial ‎[11 371 bytes]
9. (hist) ‎Enlaces ‎[10 254 bytes]
10. (hist) ‎Sistemas verificados para el razonamiento en la web semántica ‎[7664 bytes]
11. (hist) ‎APLI2S (APLIcaciones de Ayuda Para Lógica Informática) ‎[7489 bytes]
12. (hist) ‎Material de interés para el Seminario del GLC ‎[7341 bytes]
13. (hist) ‎Razonamiento formalizado ‎[5202 bytes]
14. (hist) ‎Formal Proof: Theory and Practice ‎[4599 bytes]
15. (hist) ‎Proyectos relacionados ‎[4584 bytes]
16. (hist) ‎Logic for Computer Science ‎[4526 bytes]
17. (hist) ‎APLI2 CS ‎[4517 bytes]
18. (hist) ‎Seminarios anteriores ‎[4303 bytes]
19. (hist) ‎Formal Correctness Proof for DPLL Procedure ‎[3465 bytes]
20. (hist) ‎Tecnologías ‎[3421 bytes]
21. (hist) ‎Projects ‎[2911 bytes]
22. (hist) ‎Formal Proof ‎[2622 bytes]
23. (hist) ‎Solución declarativa de problemas ‎[2560 bytes]
24. (hist) ‎A formally verified prover for the ALC description logic in PVS ‎[2190 bytes]
25. (hist) ‎Propuesta del Seminario tecnológico CTA en Inteligencia Artificial ‎[2138 bytes]
26. (hist) ‎A formally verified prover for the ALC description logic (in PVS) ‎[2065 bytes]
27. (hist) ‎Theories ‎[1962 bytes]
28. (hist) ‎Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN) ‎[1924 bytes]
29. (hist) ‎Computational Logic Group ‎[1879 bytes]
30. (hist) ‎Archivo de congresos anteriores ‎[1866 bytes]
31. (hist) ‎Main Page ‎[1859 bytes]
32. (hist) ‎Portada ‎[1829 bytes]
33. (hist) ‎How to (really) trust a mathematical proof ‎[1732 bytes]
34. (hist) ‎Formal Proof: The Four-Color Theorem ‎[1634 bytes]
35. (hist) ‎A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution ‎[1619 bytes]
36. (hist) ‎Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040) ‎[1557 bytes]
37. (hist) ‎Verification of the formal concept analysis in PVS ‎[1541 bytes]
38. (hist) ‎Constraint Logic Programming using Eclipse ‎[1523 bytes]
39. (hist) ‎Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) ‎[1460 bytes]
40. (hist) ‎Seminario de Lógica y Computación ‎[1440 bytes]
41. (hist) ‎Formalizing basic first order model theory ‎[1402 bytes]
42. (hist) ‎A short survey of automated reasoning ‎[1337 bytes]
43. (hist) ‎Gestión Mecanizada del conocimiento matemático ‎[1283 bytes]
44. (hist) ‎Lecturas comentadas ‎[1269 bytes]
45. (hist) ‎A Formalization of Abstract Properties of Confluent Reductions in PVS ‎[1136 bytes]
46. (hist) ‎Mathematics and computer science: The interplay ‎[1070 bytes]
47. (hist) ‎Verificación de sistemas SAT ‎[1017 bytes]
48. (hist) ‎Group members ‎[1008 bytes]
49. (hist) ‎Theory of Refinements in PVS ‎[1002 bytes]
50. (hist) ‎A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) ‎[998 bytes]

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