La resolución inversa es una técnica de razonamiento inductivo que implica invertir el operador de resolución . [1]
Referencias
- ^ "Programación lógica inductiva - teoría" . www.doc.ic.ac.uk . Consultado el 9 de marzo de 2021 .
La resolución inversa es una técnica de razonamiento inductivo que implica invertir el operador de resolución . [1]