Resultados de la búsqueda

Crear la página «Jruiz» en este wiki. Véanse también los resultados de la búsqueda.

• Publications
  # {{jalonso}}, {{jborrego}}, M. Pérez, {{jruiz}}: <br> {{j|2007-LibroTeoriaConjuntos.pdf|Curso práctico de teoría de con # {{fmartin}}, {{jruiz}} y L. Lambán<br> '''Polinomios simpliciales: una herramienta para la form
  38 KB (5040 palabras) - 20:02 12 feb 2011
• Seminario del Grupo de Lógica Computacional
  * '''Ponente:''' {{jruiz}} * '''Ponente:''' {{jruiz}}, {{fmartin}}
  45 KB (6931 palabras) - 23:46 1 abr 2017
• Verificación de sistemas SAT
  : {{fmartin}}, {{jalonso}}, {{mjoseh}}, {{jruiz}}: ''Formal Verification of a Generic Framework to Synthesize SAT-Provers.'
  1017 bytes (150 palabras) - 12:33 19 nov 2008
• Verification of the formal concept analysis in PVS
  | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}.
  2 KB (232 palabras) - 13:15 4 oct 2011
• A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
  | {{jalonso}}, {{mjoseh}}, {{fmartin}} y {{jruiz}}.
  2 KB (233 palabras) - 13:16 4 oct 2011
• A formally verified prover for the ALC description logic in PVS
  | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}.
  2 KB (319 palabras) - 12:21 7 jun 2012
• A formally verified prover for the ALC description logic (in PVS)
  | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}.
  2 KB (299 palabras) - 18:49 30 sep 2011