Моделi та методи дослiдження абстрактних обчислювальних структур в категорнiй аксiоматицi : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 01.05.01
Моделi та методи дослiдження абстрактних обчислювальних структур в категорнiй аксiоматицi : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 01.05.01