Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1-7 di 7

Logiche non classiche

un'introduzione

  • Palladino, Dario

Funzioni, macchine, algoritmi

introduzione alla teoria della computabilità

  • Frixione, Marcello

La computabilità

algoritmi, logica, calcolatori

  • Frixione, Marcello

Corso di logica

introduzione elementare al calcolo dei predicati

  • Palladino, Dario

Risultati 1-7 di 7