Normal view
MARC view
Moore, J Strother, 1947- (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: Boyer, Robert S. 200, A computational logic handbook /, c1988.