TY  - BOOK
AU  - Капитонов,Ю.В.
AU  - Сельдеров,З.М.
ED  - Институт кибернетики АН УССР
TI  - Автоматизация поиска доказательства теорем в математике
PY  - 1974///
CY  - Киев
PB  - Изд-во ин-та кибернетики АН УССР
KW  - Прикладная математика
ER  -