Adam Bałaban

Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

14 marca 2002

Promotor

• prof. dr hab. Jan Madey

Recenzenci

• dr hab. Mirosława Mirkowska-Salwicka, prof. PJWSTK
• dr hab. Pawel Urzyczyn, prof. UW