Mirosława Miłkowska

Poprawność i pełność programów w języku logiki - podejście deklaratywne (Poprawność i pełność programów w języku logiki - podejście deklaratywne)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

23 czerwca 2005

Promotor

• doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)

Recenzenci

• prof. dr hab. Krzysztof Apt (School of Computing National University of Singapore)
• prof. dr hab. Andrzej Skowron