Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-2 di 2

L'automazione del ragionamento matematico

dalla dimostrazione dei teoremi alla formazione dei concetti

  • Bundy, Alan

Risultati 1-2 di 2