Páginas sin interwikis
Las siguientes páginas no enlazan a versiones en otros idiomas:
Abajo se muestran hasta 24 resultados entre el n.º 51 y el n.º 74.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- Proyectos relacionados
- Publications
- Razonamiento formalizado
- Realización del Estudio del Arte para el Proyecto EVAPREX
- Refinements
- Related courses
- Semantic Wikipedia
- Seminarios anteriores
- Seminario del Grupo de Lógica Computacional
- Seminario de Lógica y Computación
- Seminario tecnológico CTA en Inteligencia Artificial
- Sistemas verificados para el razonamiento en la web semántica
- Solución declarativa de problemas
- Solving challenging grid puzzles with answer set programming
- Stem
- Tecnologías
- Theories
- Theory of Refinements in PVS
- TinyDelicious
- Verificación de sistemas SAT
- Verificación de traductores de problemas combinatorios en SAT
- Verification of the formal concept analysis in PVS
- Weteve (Proyecto Minerva plataforma de servicios en movilidad 2C-040)
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).