Agenti logici e logica proposizionale
La spiegazione è in preparazione.
Fonti e collegamenti ci sono già. La spiegazione dirà cos'è, a cosa serve e come si fa.
Cronologia
- 1962Davis, Logemann e Loveland: un programma per dimostrare teoremi con la macchina. fonte