ProCoS/ TABLEAUX Automatyczne dowodzenie twierdzeń przy użyciu metody tableau i metod pokrewnych, formalne metody wnioskowania dla różnych logik

Opiekun naukowy: dr hab. Jan Marie de Nivelle

Termin: 19 września 2015 - 25 września 2015

Miejsce: Wrocław, Instytut Informatyki UWr

Dyscyplina : informatyka

Wydział: Wydział Matematyki i Informatyki

Zasięg: międzynarodowy

Udostępnij:

Konferencja naukowa: ProCoS/ TABLEAUX Automatyczne dowodzenie twierdzeń przy użyciu metody tableau i metod pokrewnych, formalne metody wnioskowania dla różnych logik

Organizator:
Instytut Informatyki UWr
jeanmarie.denivelle@uwr.edu.pl

Rejestracja nie jest wymagana