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

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

    CiNii収録論文: 4件

    • LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム (2003)
    • 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム (2005)
    • PrologからJavaへのトランスレータ処理系とその応用 (2007)
ページトップへ