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

Come riflessi
Come riflessi

Maria Caravaggio
Gestione dell'innovazione
Gestione dell'innovazione

Francesco Izzo, Melissa A. Schilling
Quattro sberle in padella. Come difendersi dall'inquinamento alimentare e dal cibo spazzatura
Quattro sberle in padella. Come difender...

Apuzzo Stefano, Carnazzi Stefano
Il demone dei Caraibi. Barbarossa. L'integrale. 1.
Il demone dei Caraibi. Barbarossa. L'int...

Victor Hubinon, Marco Farinelli, Jean Michel Charlier