The collected works of Larry Wos
Larry Wos, Gail W. Pieper.
v. 1. Exploring the power of automated reasoning --
v. 2. Applying automated reasoning to puzzles, problems, and open questions.
v. 2. Applying automated reasoning to puzzles, problems, and open questions.
Categories:
Year:
2000
Publisher:
World Scientific
Language:
english
Pages:
1639
ISBN 10:
9810249985
ISBN 13:
9789810249984
File:
PDF, 77.73 MB
IPFS:
,
english, 2000