Normal view
MARC view
Sandford, David M. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)154582: Sandford, David M., Using sophisticated models in resolution theorem proving, 1980