Normal view
MARC view
Voronkov, Andrei (Personal Name)
Machine generated authority record.
Work cat.: (OSt)63283: Handbook of automated reasoning , 2001