ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>
Труды 3-й международной конференции по аппликативным вычислительным системам (АВС'2012) Москва, 26-28 ноября, 2012 г.
/ Под ред. Вольфенгагена В.Э.
Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении.
