年度78
等級
書名Towards a characterization of termination of logic programs
出版社Heidelberg: Springer Berlin
全部作者汪柏; Wang, Bal; Shyamasundar, R. K.
出版日期1990-01-01
ISSN(ISBN)9783540530107;9783540462989
所屬計畫案Towards a characterization of termination of logic programs
備註專書單篇