Заключительный отчёт по проекту № 01-05 с INRIA:– «Теория типов в компьютерной алгебре (TypCA)»

Research output: Book/Report/Anthology › Commissioned report

Original language	Russian
Publisher	Издательство Московского университета
State	Published - 2003
Externally published	Yes

ID: 4377392