Глушков, Виктор Михайлович <br/><br/>
Машина доказывает / 
В.М. Глушков. 
 - Москва :  Знание,  1981. 
 - 64 с. ;  20 см. 
 - Новое в жизни, науке и технике  Издается ежемесячно с 1967 г.  Серия "Математика, кибернетика" 1981 г.  № 12 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Кибернетика