ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>

Труды 3-й международной конференции по аппликативным вычислительным системам (АВС'2012) Москва, 26-28 ноября, 2012 г.

ISBN 978-5-90367-808-4
2012. 297 c.
ББК 32.97я431(2Рос)
УДК 004.7(063)
Мягкий переплет.
НЕТ В ПРОДАЖЕ
/ Под ред. Вольфенгагена В.Э.

Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении.