Autore

Silvio Ghilardi

1 libri disponibili per questo autore.

Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Verifica disponibilità
Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Silvio Ghilardi
Polimetrica
18,00 €
Pagina 1 di 1