ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Среды для изучения аппликативного компьютинга >>>

Система изучения комбинаторной логики и ламбда-исчисления

2010. 0 c.
НЕТ В ПРОДАЖЕ
д.т.н., проф. Вольфенгаген В.Э., к.т.н. Исмаилова Л.Ю., Назаров В.Н.