Pagina principale
Una pagina a caso
Nelle vicinanze
entra
Impostazioni
Fai una donazione
Informazioni su Wikipedia
Avvertenze
Ricerca
Utente
:
Utonto/m
Lingua
Segui
Modifica
<
Utente:Utonto
Horn-satisfiability
Conjunctive normal form
Prenex normal form
Resolution
Unification
en:Prolog
Soddisfacibilità booleana
Clausola di Horn