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

Fondamenti di programmazione logica [+]

i suoi rapporti con la logica e la matematica

  • Lloyd, John Wylie

Risultati 1-2 di 2