Nie jesteś zalogowany |
Powrót do listy grantów
Automatyzacja wnioskowania konstruktywnego
- Kierownik
- dr hab. Aleksy Schubert, prof. UW
- Numer umowy
- 2012/07/B//ST6/01532
- Data rozpoczęcia
- 16 maja 2013
- Data zakończenia
- 15 stycznia 2016
- Finansowany przez
- Narodowe Centrum Nauki
- Wykonawcy
- prof. dr hab.Paweł Urzyczyn, dr Konrad Zdanowski, dr Marcin Benke,dr Jacek Chrząszcz, dr Daria Walukiewicz-Chrząszcz
- Słowa kluczowe
- logika intuicjonistyczna, automatyczne dowodzenie twierdzeń, weryfikacja programów
