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

Gallier, Jean

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

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0060422254 ISBN 13:  9780060422257
Casa editrice: Longman Higher Education, 1986
Rilegato