Program development in computational logic. A decade of research advances in logic-based program development.
From MaRDI portal
Publication:1890039
DOI10.1007/b98187zbMath1051.68004OpenAlexW2504992661MaRDI QIDQ1890039
No author found.
Publication date: 17 December 2004
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98187
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)
Related Items (1)
This page was built for publication: Program development in computational logic. A decade of research advances in logic-based program development.