Normal view
MARC view
- Kroening, Daniel
Kroening, Daniel (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Kroening, Daniel., Decision Procedures, 2008.