Versione delle 21:31, 27 nov 2017 modifica Botcrux (discussione \| contributi) Bot 3 458 928 modifiche m Bot: rimuovo righe in eccesso (vedi richiesta) ← Differenza precedente		Versione delle 12:15, 29 set 2018 modifica annulla Ontoraul (discussione \| contributi) Utenti autoverificati 33 859 modifiche →‎Voci correlate Etichetta: Editor wikitesto 2017 Differenza successiva →
Riga 18: * [[Ragionamento]] * [[Regole di inferenza]] * [[RuleML]] * [[Sillogismo]] * [[Sistema esperto]]

Inferenza: differenze tra le versioni