TY  - BOOK
AU  - Hou, Zhe
TI  - Fundamentals of logic and computation: With practical automated reasoning and verification
SN  - 9783030878818
PY  - 2021///
CY  - Switzerland 
PB  - Springer
KW  -  Computation
KW  -  Logic
KW  - Computer Science
ER  -