Reasoning

PISBN:9780128092859
出版时间:2018
作者:Krawczyk,Daniel
主题词:Neuroscience 2018
语种:英语
所属数据库:Elsevier电子图书
相关推荐

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

Reasoning Web

  • 作者:Pedro Barahona,François Bry,Enrico Franconi,Nicola Henze,Ulrike Sattler
  • EISBN:9783540384120
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Qualitative Reasoning

  • 作者:Hannes Werthner
  • EISBN:9783709166246
  • 出版社:Springer Vienna
  • 出版时间:1994

Automated Reasoning

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