catalog / Physics and mathematics / Discrete mathematics and mathematical cybernetics
скачать файл: 
- title:
- Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями
- The year of defence:
- 1992
- brief description:
- Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями : автореферат дис. ... кандидата физико-математических наук : 01.01.09.- Киев, 1992.- 18 с.: ил.
- Стоимость доставки:
- 230.00 руб