検索結果4件中 1-4 を表示

  • 姜 京順 ID: 9000002484283

    横浜国立大学環境科学研究センター環境計測工学研究室 (2001年 CiNii収録論文より)

    CiNii収録論文: 3件

    • 土壌細菌DNAの直接抽出法及び精製法:異なる手法の比較検討 (2001)
    • 土壌細菌からの直接DNA抽出法 : 異なるDNA抽出法の比較 (2000)
    • 土壌細菌の16SリボソームDNAに基づく環境診断(VIII) : 土壌細菌分布に対する銅イオン汚染の影響(2001年度大会一般講演要旨) (2001)
  • 姜 京順 ID: 9000004350715

    釜山外国語大学校コンピュータ電子工学部 (2001年 CiNii収録論文より)

    CiNii収録論文: 5件

    • 線形論理型言語のJava言語による処理系の設計と実装 (1999)
    • 直観主義時相線形論理における論理プログラミングについて (2000)
    • 古典線形論理型プログラミング言語の静的解析の一手法について (2000)
  • 姜 京順 ID: 9000258237481

    釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科 (2000年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 線形論理型言語の効率的なリソース管理モデル (2000)
  • 姜 京順 ID: 9000258237492

    釜山外国語大学校(韓国)コンピュータ電子工学部 コンピュータ工学科 (2001年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 線形論理型言語のコンパイラ処理系のための抽象機械について (2001)
ページトップへ