3 projects found matching your search criteria :
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Bartosz Kwaśniewski
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Analysis of constructions and structures arising in investigation of C*-dynamical systems
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Anatolij Antonevich
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki