Home / Authors / D. M. Sandford

Books by D. M. Sandford

All books by this author

1 books found
Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science)
Using Sophisticated Models in Resolution Theorem Proving (L…
By: D. M. Sandford
View Details