Wyszukiwarka projektów

• Słowa kluczowe: Mizar ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 1 projekt 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