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.
Категорії:
Рік:
2000
Видавництво:
World Scientific
Мова:
english
Сторінки:
1639
ISBN 10:
9810249985
ISBN 13:
9789810249984
Файл:
PDF, 77.73 MB
IPFS:
,
english, 2000