Search Results1-1 of  1

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

    Articles in CiNii:8

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