Normal view
MARC view
Thayse, André, 1940- (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: From modal logic to deductive databases :, c1989.