Normal view
MARC view
Boyer Robert S., Moore J Strother Moore(Personal Name)
Machine generated authority record
Work cat.: (OSt)8498: Boyer Robert S., Moore J Strother Moore,, A computational Logic Handbook/, 1998.