104 projects found matching your search criteria :
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Call: SONATA 10 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Call: OPUS 9 , Panel: HS2
Principal investigator: dr hab. Anna Urszula Cetera-Włodarczyk
Uniwersytet Warszawski, Wydział Neofilologii
Effect of Directionality in the Translation Process - the EDiT project
Call: OPUS 9 , Panel: HS6
Principal investigator: dr hab. Bogusława Maria Whyatt
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
The oldest known Western Karaim Bible Translation. A critical edition of a Torah from 1720
Call: OPUS 9 , Panel: HS2
Principal investigator: dr Michał Németh
Uniwersytet Jagielloński, Wydział Filologiczny