Wyszukiwarka projektów

• Kierownik projektu: Karol Pąk ×

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. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

   Kierownik: dr Karol Pąk

   Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 4, panel: ST6