相关推荐

逻辑公式的求解技术

  • 作者:金继伟
  • 出版年:2014

逻辑公式可满足性判定中的推理技术研究

  • 作者:黄沛
  • 出版社:中国科学院软件研究所
  • 出版年:2022

设计中的逻辑

  • 作者:ZCOOL站酷
  • ISBN:9787121324710
  • 出版社:电子工业出版社
  • 出版年:2017

人工智能中的逻辑

  • 作者:雷蒙德
  • ISBN:7301010206
  • 出版社:北京大学出版社
  • 出版年:1990

生活中的逻辑学

  • 作者:李衍华
  • 出版社:工人出版社
  • 出版年:1987

生活中的逻辑学

  • 作者:张绵厘
  • ISBN:9787300318141
  • 出版社:中国人民大学出版社
  • 出版年:2023