LLPTTP : 線形論理型言語コンパイラ処理系を用いた定理証明システム

• 田村直之

収録刊行物

• コンピュータソフトウェア

  コンピュータソフトウェア 20 (5), 90-96, 2003

詳細情報

• CRID: 1573668926162113536
• NII論文ID: 20000944942
• データソース種別:
  • CiNii Articles