Arama Sonuçları - Daraltılmış: Tez - Matematik -- Tezler, akademik -- Türkiye. - Mirasyedioğlu, Şeref, advisor

Arama Sonuçları - Daraltılmış: Tez - Matematik -- Tezler, akademik -- Türkiye. - Mirasyedioğlu, Şeref, advisor SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dITYPE$002509Material$002bType$0025091$00253ATEZ$002509Tez$0026qf$003dSUBJECT$002509Konu$002509Matematik$002b--$002bTezler$00252C$002bakademik$002b--$002bT$0025C3$0025BCrkiye.$002509Matematik$002b--$002bTezler$00252C$002bakademik$002b--$002bT$0025C3$0025BCrkiye.$0026qf$003dAUTHOR$002509Yazar$002509Mirasyedio$0025C4$00259Flu$00252C$002b$0025C5$00259Eeref$00252C$002badvisor$002509Mirasyedio$0025C4$00259Flu$00252C$002b$0025C5$00259Eeref$00252C$002badvisor$0026ps$003d300? 2024-06-02T20:07:16Z Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus ent://SD_ILS/0/SD_ILS:1154491 2024-06-02T20:07:16Z 2024-06-02T20:07:16Z by Aoun, Ali Salem.<br/>Format: Kitap<br/>