条件論理Cbとそのタブローシステム  [in Japanese] Conditional Logic Cb and its Tableau System  [in Japanese]

Search this Article

Journal

  • 人工知能学会全国大会論文集

    人工知能学会全国大会論文集 25, 1-4, 2011

    人工知能学会

Codes

  • NII Article ID (NAID)
    40020269496
  • NII NACSIS-CAT ID (NCID)
    AA11578981
  • Text Lang
    JPN
  • ISSN
    1347-9881
  • NDL Article ID
    025922050
  • NDL Call No.
    YH247-23
  • Data Source
    NDL 
Page Top