Bart B es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Cómo solucionar el problema de "No se puede inicializar la conexión ODBC con el DSN para ALC_AV_CO"?
el 19 de Octubre, 2016 8 votos
Últimas Respuestas
- 19 votos
¿Cómo funcionan los verificadores de pruebas?
el 8 de Enero, 2011 19 votos - 35 votos
¿Por qué es tan difícil escribir pruebas completas (verificables por ordenador)?
el 11 de Enero, 2011 35 votos - 6 votos
Lógica proposicional, lógica de primer orden y lógica de orden superior
el 29 de Enero, 2011 6 votos - 14 votos
¿Cómo verifican un verificador de pruebas formalizadas?
el 8 de Enero, 2011 14 votos - 26 votos
Lógica proposicional, lógica de primer orden y lógica de orden superior
el 29 de Enero, 2011 26 votos
Etiquetas favoritas
- 5 x matemáticas
- 2 x lo.lógica
- 2 x lo.logic
- 1 x qgis
- 1 x base-de-datos
- 1 x importar
- 1 x ms-access