Sandford, David M.
Using Sophisticated Models in Resolution Theorem Proving - Berlin Springer Verlag 1980 - 239 - Lecture notes in computer science ; 00090 .
3540102310
Sophisticated Models
Resolution Theorem
681 LNCS
Using Sophisticated Models in Resolution Theorem Proving - Berlin Springer Verlag 1980 - 239 - Lecture notes in computer science ; 00090 .
3540102310
Sophisticated Models
Resolution Theorem
681 LNCS