Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz...
Konkurs: SONATINA 2 , panel: HS1
Kierownik: Paweł Pawłowski
Uniwersytet Gdański, Wydział Nauk Społecznych