Search Results1-1 of  1

  • OYA TAKEMASA ID: 9000014629170

    九州大学工学部 (1975 from CiNii)

    Articles in CiNii:2

    • The Formal System for Various 3-Valued Logics (I) (アルゴリズムにおける証明論) (1975)
    • Theorem-ProvingのProgram (プログラムの基礎理論) (1973)
Page Top