登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Formal verification and modeling in human-machine systems : papers from the AAAI Spring Symposium
出版社：Palo Alto, California : AAAI Press, 2014.
ISBN：9781577356554
出版年：2014
作者：Mercer,Eric G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Lifelong machine learning : papers from the AAAI Spring Symposium
  • 作者：AAAI Spring Symposium
  • ISBN：9781577356028
  • 出版社：Palo Alto, Calif. : AAAI Press, c2013.
  • 出版年：2013
...

Machine aggregation of human judgmentt : papers from the AAAI Fall Symposium
  • 作者：AAAI Fall Symposium on Machine Aggregation of Human Judgmentt
  • ISBN：9781577355953
  • 出版社：Palo Alto, Calif. : AAAI Press, c2012.
  • 出版年：2012
...

Trust and autonomous systems : papers from the AAAI Spring Symposium
  • 作者：AAAI Spring Symposium
  • ISBN：9781577356042
  • 出版社：Palo Alto, Calif. : AAAI Press, c2013.
  • 出版年：2013
...

Analyzing microtext : papers from the AAAI Spring Symposium
  • 作者：AAAI Spring Symposium
  • ISBN：9781577355984
  • 出版社：Palo Alto, Calif. : AAAI Press, c2013.
  • 出版年：2013
...

Wisdom of the crowd : papers from the AAAI Spring Symposium
  • 作者：AAAI Spring Symposium on Wisdom of the Crowd
  • ISBN：9781577355557
  • 出版社：Palo Alto, Calif. : AAAI Press, 2012.
  • 出版年：2012
...

Handbook of human-machine systems
  • 作者：Fortino,Giancarlo,
  • ISBN：9781119863632
  • 出版年：2023