Páginas cortas

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) ‎Marrones ‎[0 bytes]
2. (hist) ‎Categoría:Lecturas ‎[20 bytes]
3. (hist) ‎Lecturas del año 2009 ‎[28 bytes]
4. (hist) ‎Paella ‎[59 bytes]
5. (hist) ‎Marrones2 ‎[91 bytes]
6. (hist) ‎TinyDelicious ‎[179 bytes]
7. (hist) ‎Producciones ‎[272 bytes]
8. (hist) ‎Members ‎[274 bytes]
9. (hist) ‎Realización del Estudio del Arte para el Proyecto EVAPREX ‎[305 bytes]
10. (hist) ‎MenuXML ‎[366 bytes]
11. (hist) ‎Stem ‎[389 bytes]
12. (hist) ‎Verificación de traductores de problemas combinatorios en SAT ‎[428 bytes]
13. (hist) ‎Lecturas ‎[482 bytes]
14. (hist) ‎Programas sencillos para problemas complejos ‎[600 bytes]
15. (hist) ‎PROTEMO ‎[645 bytes]
16. (hist) ‎Formalizing Desargues' theorem in Coq using ranks ‎[653 bytes]
17. (hist) ‎Refinements ‎[718 bytes]
18. (hist) ‎Delicioso ‎[786 bytes]
19. (hist) ‎Semantic Wikipedia ‎[828 bytes]
20. (hist) ‎Lecturas del año 2010 ‎[831 bytes]
21. (hist) ‎Solving challenging grid puzzles with answer set programming ‎[874 bytes]
22. (hist) ‎Deduction using the ProofWeb system ‎[905 bytes]
23. (hist) ‎Related courses ‎[966 bytes]
24. (hist) ‎Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA ‎[984 bytes]
25. (hist) ‎A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) ‎[998 bytes]
26. (hist) ‎Theory of Refinements in PVS ‎[1002 bytes]
27. (hist) ‎Group members ‎[1008 bytes]
28. (hist) ‎Verificación de sistemas SAT ‎[1017 bytes]
29. (hist) ‎Mathematics and computer science: The interplay ‎[1070 bytes]
30. (hist) ‎A Formalization of Abstract Properties of Confluent Reductions in PVS ‎[1136 bytes]
31. (hist) ‎Lecturas comentadas ‎[1269 bytes]
32. (hist) ‎Gestión Mecanizada del conocimiento matemático ‎[1283 bytes]
33. (hist) ‎A short survey of automated reasoning ‎[1337 bytes]
34. (hist) ‎Formalizing basic first order model theory ‎[1402 bytes]
35. (hist) ‎Seminario de Lógica y Computación ‎[1440 bytes]
36. (hist) ‎Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) ‎[1460 bytes]
37. (hist) ‎Constraint Logic Programming using Eclipse ‎[1523 bytes]
38. (hist) ‎Verification of the formal concept analysis in PVS ‎[1541 bytes]
39. (hist) ‎Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040) ‎[1557 bytes]
40. (hist) ‎A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution ‎[1619 bytes]
41. (hist) ‎Formal Proof: The Four-Color Theorem ‎[1634 bytes]
42. (hist) ‎How to (really) trust a mathematical proof ‎[1732 bytes]
43. (hist) ‎Portada ‎[1829 bytes]
44. (hist) ‎Main Page ‎[1859 bytes]
45. (hist) ‎Archivo de congresos anteriores ‎[1866 bytes]
46. (hist) ‎Computational Logic Group ‎[1879 bytes]
47. (hist) ‎Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN) ‎[1924 bytes]
48. (hist) ‎Theories ‎[1962 bytes]
49. (hist) ‎A formally verified prover for the ALC description logic (in PVS) ‎[2065 bytes]
50. (hist) ‎Propuesta del Seminario tecnológico CTA en Inteligencia Artificial ‎[2138 bytes]

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