Explore the latest books of this year!
Bookbot

David M. Sandford

    Using Sophisticated Models in Resolution Theorem Proving