Logica del primo ordine e inferenza
La spiegazione è in preparazione.
Fonti e collegamenti ci sono già. La spiegazione dirà cos'è, a cosa serve e come si fa.
Cronologia
- 1965Robinson: una logica orientata alla macchina, basata sul principio di risoluzione. fonte