Modularization and abstraction in logic programming
From MaRDI portal
Publication:1077915
DOI10.1007/BF03037423zbMath0595.68008OpenAlexW1975234202MaRDI QIDQ1077915
Koichi Furukawa, Akinori Yonezawa, Reiji Nakajima
Publication date: 1983
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037423
Cites Work
This page was built for publication: Modularization and abstraction in logic programming