TY - BOOK AU - Ефимов, Е. И. TI - Субъектно-предикативные модели обоснований тезисов T2 - Сообщения по программному обеспечению PY - 1991/// CY - М. PB - ВЦ РАН ER -