Razonamiento automático (2019-20)
Razonamiento automático (2019-20)
Navegación
Página principal
Temas
Ejercicios
Documentación
Sistemas
Diario
Twitter
Cambios recientes
Herramientas
Páginas especiales
Versión para imprimir
Ayuda
Acciones
Página especial
Especial
Resultados de la búsqueda
Buscar
Resultado
1
de
1
Páginas de contenido
Multimedia
Todo
Avanzado
Búsqueda avanzada
Buscar en los espacios de nombres:
Seleccionar:
(Principal)
Discusión
Usuario
Usuario discusión
Razonamiento automático (2019-20)
Razonamiento automático (2019-20) discusión
Archivo
Archivo discusión
MediaWiki
MediaWiki discusión
Plantilla
Plantilla discusión
Ayuda
Ayuda discusión
Categoría
Categoría discusión
R8
El objetivo
de
esta es relación formalizar y decidir automáticamente (con auto, blast, metis, meson o quickcheck) la corrección
de
los
31 kB (4259 palabras) - 13:48 9 ene 2020