Librinlinea

Ricerca avanzata

3 Risultati trovati

L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti

L'automazione del ragionamento matematico : dalla...

F. Muzzio, 1986

monografia | Testo

Aggiungi a "I tuoi preferiti"

Matematica, informatica, logica : un percorso organico per un insegnamento unitario

Matematica, informatica, logica : un percorso organico...

Alfano, Florindo

Zanichelli, 1988

monografia | Testo

Aggiungi a "I tuoi preferiti"

Linguaggi formali e compilatori

Linguaggi formali e compilatori

Crespi Reghizzi, Stefano

Petrini, 1978

monografia | Testo

Aggiungi a "I tuoi preferiti"