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.
Categorie:
Anno:
2000
Casa editrice:
World Scientific
Lingua:
english
Pagine:
1639
ISBN 10:
9810249985
ISBN 13:
9789810249984
File:
PDF, 77.73 MB
IPFS:
,
english, 2000