Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità

Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità

Al momento non disponibile, ordinabile in 3 settimane circa

Dettagli Libro

Libri che ti potrebbero interessare

Plenilunio con pistola
Plenilunio con pistola

Forleo Francesco
Note ed esercizi di microeconomia
Note ed esercizi di microeconomia

Baici Eliana, D'Agata Antonio
Il teatro Olimpico
Il teatro Olimpico

Maria Elisa Avagnina, P. Guidolotti
The Teatro Olimpico
The Teatro Olimpico

Maria Elisa Avagnina
Le Théatre Olympique
Le Théatre Olympique

Maria Elisa Avagnina, H. Carquain