Search Results1-3 of  3

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

    Articles in CiNii:7

    • LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language. (2003)
    • Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System (2005)
    • A Prolog to Java Translator System and its Application (2007)
  • 神戸大学学術情報基盤センター ID: 9000361207182

    Articles in CiNii:1

    • Prolog Cafe: A Prolog to Java Translator System(<Special Issue>A Software Toolbox for Research Activity(4)) (2006)
  • 神戸大学学術情報基盤センター ID: 9000361207183

    Articles in CiNii:1

    • Prolog Cafe: A Prolog to Java Translator System(<Special Issue>A Software Toolbox for Research Activity(4)) (2006)
Page Top