Описание RUSMARC Карточка

TT Lite: a supercompiler for Martin-Löf's type theory

Ик 2014-4/46 [2013-100527]/английский/TT Lite: a supercompiler for Martin-Löf's type theory / Ilya G. Klyuchnikov, Sergei A. Romanenko.TT Lite: a supercompiler for Martin-Löf's type theory / Ilya G. Klyuchnikov, Sergei A. Romanenko.TT Lite: a supercompiler for Martin-Löf's type theory.Moscow/ИПМ РАН/, 2013 ( ). - ИПМ РАН, 2013. - 28 с. : ил. ; 21 см. - (Препринт / Keldysh inst. of appl. mathematics, Russ. acad. of sciences, 2071-2898 ; N 73 за 2013 г.). - (Препринты ИПМ им. М.В. Келдыша = Keldysh institute preprints).TT Lite: a supercompiler for Martin-Löf's type theory. Moscow, 2013 .
     На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко. - На обл. надзаг. на рус. яз. - Рез на рус. яз. - Библиогр.: с. 17-18 (24 назв.). Библиогр.: с. 17-18 (24 назв.).TT Lite: суперкомпилятор для теории типов Мартина-Лефа/Компиляторы (компьют.) -- Теория/З973.2-018-5-05/ Ključnikov, I. G., Il'ja Grigor'evič .I. G.Il'ja Grigor'evičRomanenko, Sergej A /Klyuchnikov , Ilya G. ./
Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru