文献
J-GLOBAL ID:201302294222427531
整理番号:13A0628403
強化ハッシュコンシングによる構造化データの効率的テーブリング
Efficient tabling of structured data with enhanced hash-consing
著者 (2件):
ZHOU Neng-Fa
(CUNY Brooklyn Coll. & Graduate Center)
,
HAVE Christian Theil
(Roskilde Univ.)
資料名:
Theory and Practice of Logic Programming
(Theory and Practice of Logic Programming)
巻:
12
号:
4/5
ページ:
547-563
発行年:
2012年07月
JST資料番号:
A1393A
ISSN:
1471-0684
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)