Proceedings : 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland

著者

• International Symposium on Multiple-Valued Logic
• IEEE Computer Society

書誌事項

Proceedings : 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland

sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, Institute of Computer Science Polish Academy of Sciences

IEEE Computer Society, c2001

タイトル別名

ISMVL 2001

PR01083

注記

Includes bibliographical references and index

"IEEE Computer Society Order Number PR01083"

内容説明・目次

内容説明

Topics covered in this volume include: algebraic and formal aspects; proof theory and automated deduction; philosophical aspects; handling uncertainty and fuzziness; artificial intelligent systems; logic design and switching theory; decision diagrams; and circuit/device implementation.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA5205005X
• ISBN:
  • 0769510833
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xi, 380 p.
• 大きさ: 28 cm
• 分類:
  • LCC : QA9.45
  • DC : 511/.3
  • NDC7 : 549.92
• 件名:
  • LCSH : Many-valued logic -- Congresses