データベース統合支援システムAdbis(4) : ホーン集合についての補足 - 九大コレクション

＜紀要論文＞
データベース統合支援システムAdbis(4) : ホーン集合についての補足

作成者	作成者名松尾, 文碩所属機関所属機関名九州大学大型計算機センター
	著者識別子 L006575 作成者名高木, 利久所属機関所属機関名九州大学大型計算機センター
	作成者名二村, 祥一所属機関所属機関名九州大学大型計算機センター
本文言語	日本語
出版者	九州大学大型計算機センター
発行日	1982-03-10
収録物名	九州大学大型計算機センター広報
巻	15
号	1
開始ページ	146
終了ページ	153
出版タイプ	Version of Record
アクセス権	open access
JaLC DOI	https://doi.org/10.15017/1474933
関連DOI	http://ri2t.kyushu-u.ac.jp/index-page
関連URI	http://ri2t.kyushu-u.ac.jp/index-page
関連情報	http://ri2t.kyushu-u.ac.jp/index-page
目次	1. はじめに 2. 関数又はベクトル関数のリテラル表現における引数順序の変更 3. 反証におけるホーン節選択の制御 4. おわりに

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p146	pdf	362 KB	163