Zastosowania logiki z funcjami częściowymi
2015/17/B/ST6/01898
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 3
Konkurs
OPUS 9 – ogłoszony 2015-03-16
- Przyznana kwota
- 235 200 PLN
- Rozpoczęcie projektu
- 2016-02-18
- Zakończenie projektu
- 2019-07-17
- Planowany czas trwania projektu
- 41 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Komputer Ultrabook Acer S5-371.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (1)
-
Subsumption Algorithms for Three-Valued Geometric Resolution
- Autorzy:
- Hans de Nivelle
- Czasopismo:
- Logical Methods in Computer Science (rok: 2018, tom: Special Issue, strony: b.d.), Wydawca: Logical Methods in Computer Science e.V.
- Status:
- Opublikowana
- DOI:
- 10.23638/LMCS-14(4:24)2018 – link do publikacji