Normal view
MARC view
- Смирнов, В. А
Смирнов, В. А (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Логика и компьютер Вып. 3 Доказательство и его поиск. (Курс логики и компьютерный практикум)/ В. А. Смирнов и др., 1996