当前位置:首页 > 外文
The automation of reasoning : an experimenter's notebook with OTTER tutorial
The automation of reasoning : an experimenter's notebook with OTTER tutorial

The automation of reasoning : an experimenter's notebook with OTTER tutorialPDF电子书下载

外文

  • 电子书积分:14 积分如何计算积分?
  • 作 者:Larry Wos
  • 出 版 社:Academic Press
  • 出版年份:1996
  • ISBN:0127634207
  • 页数:434 页
图书介绍:
《The automation of reasoning : an experimenter's notebook with OTTER tutorial》目录
标签:
返回顶部