Automated Reasoning by Jasmin Blanchette, Laura Kovacs & Dirk Pattinson

Automated Reasoning

By

  • Genre Computers
  • Released
  • Size 53.60 MB

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.

More Jasmin Blanchette, Laura Kovacs & Dirk Pattinson Books