2012/07/B/ST6/01532
Słowa kluczowe:
logika intuicjonistyczna automatyczne dowodzenie twierdzeń weryfikacja programów
Deskryptory:
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 7
Konkurs: OPUS 4 - ogłoszony 2012-09-15
Przyznana kwota: 462 860 PLN
Rozpoczęcie projektu: 2013-07-01
Zakończenie projektu: 2016-01-15
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony