Опис документа:
| |
Автор: | Лялецкий А.А. |
Назва: | Новые доказательства важных теорем бестипового экстенсионального исчисления |
Видавництво: | Наукова думка |
Місто: | Киев |
Рік: | 2014 |
Сторінок: | С. 53-63 |
Тип документу: |
Стаття |
Головний документ: |
Кибернетика и системный анализ |
Пошук: заповніть хоча б одне з полів
|
|