部分例示手法に基づく充足可能性判定手続き

• 山本 雅人

• 大柳 俊夫

• 大内 東

書誌事項

タイトル別名

• ブブン レイジ シュホウ ニ モトズク ジュウソク カノウセイ ハンテイ テツ

抄録

記事分類: 人間工学

収録刊行物

• 電子情報通信学会論文誌. A, 基礎・境界 = The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Japanese edition). A / 電子情報通信学会 編

  電子情報通信学会論文誌. A, 基礎・境界 = The IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Japanese edition). A / 電子情報通信学会 編 77 (11), p1577-1584, 1994-11

  東京 : 電子情報通信学会基礎・境界ソサイエティ

詳細情報

• CRID: 1520853835231949952
• NII論文ID: 110003313217
• NII書誌ID: AN10013345
• ISSN: 09135707
• NDL書誌ID: 3899679
• Web Site: http://id.ndl.go.jp/bib/3899679
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I3899679
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles