Normal view
MARC view
FERRANTE,JEANNE, RACKOFF,CHARLES W (Personal Name)
Machine generated authority record
Work cat.: (OSt)45582: FERRANTE,JEANNE, RACKOFF,CHARLES W, COMPUTATIONAL COMPLEXITY OF LOGICAL THEORIES (LNCS 718), 1979