A gentle introduction to automated reasoning (2021)

2 points| brendanfalk | 2 years ago |amazon.science