Páginas más antiguas
Abajo se muestran hasta 24 resultados entre el n.º 51 y el n.º 74.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- A Formalization of Abstract Properties of Confluent Reductions in PVS (12:14 4 oct 2011)
- Verification of the formal concept analysis in PVS (12:15 4 oct 2011)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (12:16 4 oct 2011)
- Theory of Refinements in PVS (12:16 4 oct 2011)
- Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (12:25 27 oct 2011)
- Seminario tecnológico CTA en Inteligencia Artificial (07:51 4 nov 2011)
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (17:17 30 nov 2011)
- APLI2 CS (08:29 23 dic 2011)
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (13:19 8 feb 2012)
- Theories (20:26 8 feb 2012)
- A formally verified prover for the ALC description logic in PVS (11:21 7 jun 2012)
- Lecturas comentadas (18:54 27 abr 2013)
- Lecturas del año 2010 (05:33 28 abr 2013)
- Lecturas del año 2011 (06:16 28 abr 2013)
- Lecturas del año 2012 (06:32 28 abr 2013)
- Lecturas del año 2009 (10:19 24 sep 2013)
- Projects (10:56 18 oct 2013)
- Lecturas (17:12 30 mar 2014)
- Lecturas del año 2014 (17:19 30 mar 2014)
- Lecturas del año 2013 (18:03 30 mar 2014)
- Enumeración de los racionales (11:56 25 may 2015)
- Seminario del Grupo de Lógica Computacional (22:46 1 abr 2017)
- Group members (21:32 26 abr 2021)
- Seminario de Lógica y Computación (16:24 3 may 2021)
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
