Resultados de la búsqueda

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

• Projects
  #: Directed by {{fmartin}}. #: Directed by {{fmartin}}.
  3 KB (404 palabras) - 11:56 18 oct 2013
• Publications
  # {{fmartin}}, L.C. González y R. Serrano <br> '''Sistema experto para el control en t # {{fmartin}}, {{jruiz}} y L. Lambán<br> '''Polinomios simpliciales: una herramienta p
  38 KB (5040 palabras) - 20:02 12 feb 2011
• Seminario del Grupo de Lógica Computacional
  * '''Ponente:''' {{fmartin}} (Grupo de Lógica Computacional - Universidad de Sevilla) * '''Ponente:''' {{fmartin}} (Grupo de Lógica Computacional - Universidad de Sevilla)
  45 KB (6931 palabras) - 23:46 1 abr 2017
• Seminarios anteriores
  * '''Ponente:''' {{fmartin}}
  4 KB (650 palabras) - 12:22 8 oct 2008
• APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
  # {{jalonso}}, {{garanda}} y {{fmartin}} (2007) <br> ''[http://www.springerlink.com/content/f64u8341157233k2/ KRRT
  7 KB (1186 palabras) - 18:17 30 nov 2011
• Verificación de sistemas SAT
  : {{fmartin}}, {{jalonso}}, {{mjoseh}}, {{jruiz}}: ''Formal Verification of a Generic F
  1017 bytes (150 palabras) - 12:33 19 nov 2008
• Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
  | {{jalonso}}, {{mjoseh}} and {{fmartin}}.
  1 KB (207 palabras) - 14:19 8 feb 2012
• 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