A amazon.science A gentle introduction to automated reasoning (2021) 2 points brendanfalk 2 years ago 0 comments
