David M. Sandford

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1980

1 David M. Sandford: Using Sophisticated Models in Resolution Theorem Proving Springer 1980