Páginas sin categorizar

Saltar a: navegación, buscar

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. APLI2 CS
  2. Archivo de congresos anteriores
  3. A Formalization of Abstract Properties of Confluent Reductions in PVS
  4. A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
  5. A formally verified prover for the ALC description logic (in PVS)
  6. A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic)
  7. A formally verified prover for the ALC description logic in PVS
  8. Categoría:Lecturas
  9. Computational Logic Group
  10. Delicioso
  11. Enlaces
  12. Enumeración de los racionales
  13. Gestión Mecanizada del conocimiento matemático
  14. Group members
  15. Investigación de los Factores Críticos de los Procesos de Fabricación Básicos del Sector Aeronáutico Andaluz, SENSOR-IA
  16. Lecturas comentadas
  17. Lecturas del año 2009
  18. Lecturas del año 2010
  19. Lecturas del año 2011
  20. Lecturas del año 2012
  21. Lecturas del año 2013
  22. Lecturas del año 2014
  23. Main Page
  24. Marco Lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492, subprograma TIN)
  25. Marrones
  26. Marrones2
  27. Material de interés para el Seminario del GLC
  28. Members
  29. MenuXML
  30. Paella
  31. Portada
  32. Producciones
  33. Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
  34. PROTEMO
  35. Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
  36. Publications
  37. Realización del Estudio del Arte para el Proyecto EVAPREX
  38. Refinements
  39. Related courses
  40. Seminarios anteriores
  41. Seminario de Lógica y Computación
  42. Seminario tecnológico CTA en Inteligencia Artificial
  43. Sistemas verificados para el razonamiento en la web semántica
  44. Stem
  45. Tecnologías
  46. Theories
  47. Theory of Refinements in PVS
  48. TinyDelicious
  49. Verification of the formal concept analysis in PVS
  50. Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)

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

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