Contents of Report
[Data of Report]
Report Number:
TM1227
Date of Registration:
1992.10
English Title:
***
Japanese Title:
ノンホーン・マジックセット
English Author:
Y.Ohta,K.Inoue,R.Hasegawa,M.Nakajima
Japanese:
太田 好彦,井上 克己,長谷川 隆三,中島 誠
Name of Organization to which author belongs:
ICOT,ICOT,ICOT,JIPDEC
PDF:
tm1227.pdf
[Contents]
1
まえがき
.... 2
2
定義
.... 3
3
モデル生成定理証明器
.... 3
4
幅優先のノンホーン・マジックセット
.... 4
5
深さ優先のノンホーン・マジックセット
.... 7
6
実験結果
.... 8
7
関連研究
.... 11
8
むすび
.... 11
参考文献
.... 11
End
.... 12
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda