Books listed by ISBN
>
Springer
> D. M. Sandford
D. M. Sandford
title
ISBN-13
(ISBN-10)
year of publication
Using Sophisticated Models in Resolution Theorem Proving
978-O-387-1O231-3
(O-387-1O231-O)
1981
D. M.
·
D S
·
David M. Sandford
·
M S.
D. M. Schlader