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

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

Creator	Creator Name 松尾, 文碩 Affiliation Affiliation Name 九州大学大型計算機センター
	Author PID L006575 Creator Name 高木, 利久 Affiliation Affiliation Name 九州大学大型計算機センター
	Creator Name 二村, 祥一 Affiliation Affiliation Name 九州大学大型計算機センター
Language	Japanese
Publisher	九州大学大型計算機センター
Date	1982-03-10
Source Title
Vol	15
Issue	1
First Page	146
Last Page	153
Publication Type	Version of Record
Access Rights	open access
JaLC DOI	https://doi.org/10.15017/1474933
Related DOI	http://ri2t.kyushu-u.ac.jp/index-page
Related URI	http://ri2t.kyushu-u.ac.jp/index-page
Relation	http://ri2t.kyushu-u.ac.jp/index-page
Table of Contents	1. はじめに 2. 関数又はベクトル関数のリテラル表現における引数順序の変更 3. 反証におけるホーン節選択の制御 4. おわりに

File	FileType	Size	Views	Description
p146	pdf	362 KB	165