姜 京順 | 釜山外国語大学校コンピュータ電子工学部

スポンサーリンク

概要

• 姜京順の詳細を見る
• 同名の論文著者
• 釜山外国語大学校コンピュータ電子工学部の論文著者

関連著者

• 番原 睦則

  神戸大学学術情報基盤センター

• 田村 直之

  神戸大学学術情報基盤センター

• 番原 睦則

  奈良工業高等専門学校

• 姜 京順

  釜山外国語大学校コンピュータ電子工学部

• 田村 直之

  神戸大 学術情報基盤セ

• 田村 直之

  神戸大学工学部情報知能工学科

• 田村 直之

  神戸大学工学部

• 姜 京順

  神戸大学大学院自然科学研究科

• 姜 京順

  釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科

• 田村 直之

  神戸大学大学院自然科学研究科

• 平井 崇晴

  神戸大学大学院自然科学研究科

• 吉川 英男

  神戸大学大学院自然科学研究科

• 田村 直之

  神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻

もっと見る 閉じる

著作論文

• 時相線形論理型言語のコンパイラ処理系のための抽象機械について
• 線形論理型言語のコパイラ処理系のための抽象機械について
• 古典線形論理型プログラミング言語の静的解析の一手法について
• 直観主義時相線形論理における論理プログラミングについて
• 線形論理型言語のJava言語による処理系の設計と実装

スポンサーリンク