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