|
Глушков В.М./ІВ62 Pitrat, Jacques. Un programme de démonstration de théorèmes [Text] / Jacques Pitrat. - Paris : Dunod, 1970. - XII, 120 p. : pl. - (Monographies d`informatique / Association française de cybernétique, èconomique et technique ; 7). - Бібліогр.: с. 119-120 Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
|