Probador de teoremas lógicos
Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp.
| Control de autoridades |
|
|---|
Datos: Q6086968
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.