2 Ebooks tarafından Gail W Pieper
![Örtmek Gail W Pieper & Larry Wos: COLLE WORK LARRY WOS (2V) [W/ CD]](https://static.worldofdigitals.com/thumb_webp/411/9789812813411.webp "Örtmek Gail W Pieper & Larry Wos: COLLE WORK LARRY WOS (2V) [W/ CD]")
Gail W Pieper & Larry Wos: COLLE WORK LARRY WOS (2V) [W/ CD]
Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers …
PDF
İngilizce
DRM
€399.99
![Örtmek Gail W Pieper & Larry Wos: FASCIN COUNT WORLD COMP [W/ CD]](https://static.worldofdigitals.com/thumb_webp/952/9789812817952.webp "Örtmek Gail W Pieper & Larry Wos: FASCIN COUNT WORLD COMP [W/ CD]")
Gail W Pieper & Larry Wos: FASCIN COUNT WORLD COMP [W/ CD]
This book shows you — through examples and puzzles and intriguing questions — how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world’s most powerful …
PDF
İngilizce
DRM
€209.99
