Articoli correlati a Logic for Computer Science: Foundations of Automatic...

Logic for Computer Science: Foundations of Automatic Theorem Proving - Rilegato

Gallier, Jean

 
9780060422257: Logic for Computer Science: Foundations of Automatic Theorem Proving

Sinossi

Book by Gallier Jean

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.