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

  • 神戸大学学術情報基盤センター ID: 9000348888582

    CiNii収録論文: 7件

    • LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム (2003)
    • 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム (2005)
    • PrologからJavaへのトランスレータ処理系とその応用 (2007)
  • 神戸大学学術情報基盤センター ID: 9000361207182

    CiNii収録論文: 1件

    • Prolog Cafe: Java上で動作するProlog処理系(<シリーズ特集>研究のツールボックス〔第4回〕) (2006)
  • 神戸大学学術情報基盤センター ID: 9000361207183

    CiNii収録論文: 1件

    • Prolog Cafe: Java上で動作するProlog処理系(<シリーズ特集>研究のツールボックス〔第4回〕) (2006)
ページトップへ