A gentle introduction to automated reasoning (2021) Posted by brendanfalk on Tuesday January 23, 2024 @05:49PM from the amazon.science dept. https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning ( no comments | 2 points | on HN )
There are no comments yet.