Организације



Филтрирано по:
Мп-кат.:  M30/M60
Година:  [1980 TO 1989]
Година:  1989

Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1989The correspondence between weak implicational logics and typed lambda calculusGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.