Dimostrazione automatica di teoremi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Evoluzione storica: JOHNNIAC non era prodotto in serie |
m →Voci correlate: Bot: Aggiungo controllo di autorità |
||
Riga 40:
* [[Ragionamento automatico]]
{{Controllo di autorità}}
{{Portale|informatica|matematica}}
| |||