登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Reasoning
PISBN：9780128092859
出版时间：2018
作者：Krawczyk,Daniel
主题词：Neuroscience 2018
语种：英语
所属数据库：Elsevier电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Automated Reasoning
  • 作者：Nicolas Peltier,Viorica Sofronie-Stokkermans
  • EISBN：9783030510541
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Automated Reasoning
  • 作者：Jürgen Giesl,Reiner Hähnle
  • EISBN：9783642142031
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2010
...

Practical Reasoning
  • 作者：Dov M. Gabbay,Hans Jürgen Ohlbach
  • EISBN：9783540684541
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1996
...

Automated Reasoning
  • 作者：Christoph Benzmüller,Marijn J.H. Heule,Renate A. Schmidt
  • EISBN：9783031634987
  • 出版社：Springer Nature
  • 出版时间：2024
...

Automation of Reasoning
  • 作者：J. Siekmann,G. Wrightson
  • EISBN：9783642819551
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1983
...

Automation of Reasoning
  • 作者：Jörg H. Siekmann,Graham Wrightson
  • EISBN：9783642819551
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1983