TY  - BOOK
AU  - Короткова, М.А.
AU  - Щукин, Б.А.
TI  - Диалоговая система поиска логического вывода
T2  - Препринт
VL  - 007-86
PY  - 1986///
CY  - М.
PB  - МИФИ
N2  - Библиогр.: с. 23
ER  -