Nie jesteś zalogowany |
Powrót do listy grantów
Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne
- Numer umowy
- 2012/07/N/ST6/03398
- Data rozpoczęcia
- 11 lipca 2013
- Data zakończenia
- 10 stycznia 2016
- Finansowany przez
- Narodowe Centrum Nauki
- Słowa kluczowe
- systemy wspomagania dowodzenia, illatywna logika kombinatoryczna, weryfikacja programów
