Projekty finansowane przez NCN
Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czasowych.
2011/01/D/ST6/04048
Słowa kluczowe:
problemy spełniania więzów wnioskowanie o zależnościach czasowych i przestrzennych złożoność obliczeniowa logika w informatyce algebra w informatyce
Deskryptory:
- ST6_7: Teoretyczne podstawy informatyki, w tym informatyka kwantowa
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
woj. dolnośląskie
Konkurs: SONATA 1 - ogłoszony 2011-03-15
Przyznana kwota: 176 537 PLN
Rozpoczęcie projektu: 2011-12-07
Zakończenie projektu: 2013-02-12
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt zakończony