ＧＨＣ

guarded Horn Clauses

ジーエッチシー. 並列コンピュータの並列論理型プログラム言語.
ｇｕａｒｄｅｄ Ｈｏｒｎ Ｃｌａｕｓｅｓ; ａ ｐｒｏｇｒａｍｍｉｎｇ ｌａｎｇｕａｇｅ ｆｏｒ ｐａｒａｌｌｅｌ ｐｒｏｃｅｓｓｉｎｇ ｃｏｍｐｕｔｅｒｓ;
[Ｃ].

丸善 「略語大辞典」 JLogosID : 11875924