Projects search

• Keywords: metalogika ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Call: SONATA 10, Panel: ST6

2. 2. Non-Fregean approach to Dunn-Epstein's content relationship logic

   Principal investigator: dr Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika

   Call: OPUS 29, Panel: HS1