TY  - BOOK
AU  - Wos Larry & Pieper Gail W
TI  - Fascinating Country in the World of Computing, a: Your Guide to Automated Reasoning
SN  - 9789812817952
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/4132#t=toc
ER  -