Knihobot

David M. Sandford

    Using Sophisticated Models in Resolution Theorem Proving