On Systematic Construction of Correct Logic Programs.
Saved in:
| Title: | On Systematic Construction of Correct Logic Programs. |
|---|---|
| Authors: | DRABENT, WŁODZIMIERZ1 (AUTHOR) drabent@ipipan.waw.pl |
| Source: | Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p631-648. 18p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
