TY  - BOOK
AU  - Wos L
TI  - Collected Works of Larry Wos, the In 2 Vols, Vol I: Exploring the Power of Automated Reasoning; Vol Ii: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
SN  - 9789812813411
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/4164#t=toc
ER  -