Wyszukiwarka projektów

• Słowa kluczowe: metalogika ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 2 projekty spełniających kryteria wyszukiwania:

1. 1. Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML

   Kierownik: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Konkurs: SONATA 10, panel: ST6

2. 2. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina

   Kierownik: dr Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika

   Konkurs: OPUS 29, panel: HS1