Adam Bałaban

Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

March 14, 2002

Supervisor

• prof. dr hab. Jan Madey

Reviewers

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