Anh Linh Nguyen

Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych (Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

26 lutego 2009

Recenzenci

dr hab. Włodzimierz Andrzej Drabent (Instytut Podstaw Informatyki PAN); dr hab. Damian Niwiński; prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. John Jules Meyer (Utrecht University, Holandia)