Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Pitrat J$<.>) |
Загальна кількість знайдених документів : 1
|
1. | Глушков В.М./ІВ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 Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
|
|