Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Powrót do listy instytutów

Publikacje

Mirosława Miłkowska

2013

Mirosława Miłkowska, Book review of 'Thinking as Computation: a first course' by Hector J. Levesque, Theory And Practice Of Logic Programming 13 (01) 2013, s. 143–145.zobacz w PBN

2005

Włodzimierz Drabent i Mirosława Miłkowska, Proving Correctness and Completeness of Normal Programs - A Declarative Approach, Theory And Practice Of Logic Programming 5 (6) 2005, s. 669–711.zobacz w PBN
Wlodzimierz Drabent i Mirosława Miłkowska, Proving Correctness and Completeness of Normal Programs - A Declarative Approach, Theory And Practice Of Logic Programming 5 (6) 2005, s. 669–711.zobacz w PBN

2001

Mirosława Miłkowska i W. Drabent, Proving correctness and completeness of normal programs - A declarative approach, Lecture Notes In Computer Science (2237) 2001, s. 284–299.zobacz w PBN
Mirosława Miłkowska i W. Drabent, Deklaratywne podejście do wnioskowania o programach w języku logiki, w: III Krajowa Konferencja Inżynierii Oprogramowania, Wydawnictwo MIKOM, Warszawa 2001.zobacz w PBN

2000

Mirosława Miłkowska, Wspomaganie walidacji specyfikacji wymagań w języku Spill, w: II Krajowa Konferencja Inżynierii Oprogramowania, Katedra Informatyki Akademii Górniczo-Hutniczej w Krakowie, Kraków 2000.zobacz w PBN