Tytuł projektu: DATALOG w Problemie Spełnialności Więzów
Instytucja: Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Miasto: Kraków
Województwo: małopolskie
Kierownik projektu: dr hab. Marcin Andrzej Kozik
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 289900 PLN
Okres realizacji: 2011-12-07 00:00:00 – 2015-06-06 00:00:00 (42 miesięcy)