Author/Creator: DRABENT, WŁODZIMIERZ - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator DRABENT, WŁODZIMIERZ

1. Logic + control: On program construction and verification. Issue 1 (19th June 2017)

Authors:: DRABENT, WŁODZIMIERZ
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 1(2018)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. On Correctness and Completeness of an n Queens Program. Issue 1 (14th January 2022)

Authors:: DRABENT, WŁODZIMIERZ
Journal:: Theory and practice of logic programming
Issue:: Volume 22:Issue 1(2022)
Page Start:: 37
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. On definite program answers and least Herbrand models. Issue 4 (3rd May 2016)

Authors:: DRABENT, WŁODZIMIERZ
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 4(2016)
Page Start:: 498
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗