合志 和晃 | 九州大学工学部

スポンサーリンク

概要

• 同名の論文著者
• 九州大学工学部の論文著者

関連著者

• 牛島 和夫

  九州大学工学部情報工学科

• 合志 和晃

  九州産業大学情報科学部

• 程 京徳

  九州大学工学部情報工学科

• 合志 和晃

  九州大学工学部

• 牛島 和夫

  九州産業大学情報科学部

著作論文

• 注釈付き論理プログラミングへの含意の入れ子表現の導入について
• Annotated Logic Programmingにおける矛盾の処理について

スポンサーリンク