Automated reasoning: Introduction and applications - Rilegato

 
9780130544537: Automated reasoning: Introduction and applications

Altre edizioni note dello stesso titolo

9780130544469: Introduction and Applications

Edizione in evidenza

ISBN 10:  0130544469 ISBN 13:  9780130544469
Casa editrice: Prentice Hall, 1984
Brossura