Autor: Gail W Pieper

Soporte

2 Ebooks de Gail W Pieper

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
Inglés
DRM
€399.99
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
Inglés
DRM
€214.99