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.
Kategori:
Tahun:
2000
Penerbit:
World Scientific
Bahasa:
english
Halaman:
1639
ISBN 10:
9810249985
ISBN 13:
9789810249984
Fail:
PDF, 77.73 MB
IPFS:
,
english, 2000