Publikacje

Czasopismo: Theory And Practice Of Logic Programming

Liczba publikacji: 4

2018

• Aleksy Andrzej Schubert i Paweł Urzyczyn, First-order Answer Set Programming as Constructive Proof Search, Theory And Practice Of Logic Programming 18 (3-4) 2018, s. 673–690.zobacz w PBN

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