Automated Reasoning
By Jasmin Blanchette, Laura Kovacs & Dirk Pattinson
- Release Date: 2022-08-01
- Genre: Computers
Description
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.