Búsqueda de Pruebas
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La búsqueda de pruebas es la exploración sistemática del espacio de posibles derivaciones para localizar una prueba válida de una aserción especificada, empleando algoritmos, estrategias y límites de recursos.