TY - BOOK AU - Бахтияров, Камиль Ибрагимович TI - Логические основы компьютеризации умозаключений PY - 1986/// CY - Москва PB - МИИСП ER -