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

Automation of Reasoning
EISBN：9783642819551
PISBN：9783540120445
出版社：Springer Berlin Heidelberg
出版类型：Reference work
出版时间：1983
版次：1983
作者：J. Siekmann,G. Wrightson
主题词：Computer Science,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Symbolic Computation
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

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

The Automation of Reasoning with Incomplete Information
  • 作者：Torsten Schaub
  • EISBN：9783540697930
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

The Automation of Reasoning with Incomplete Information
  • 作者：Torsten Schaub
  • EISBN：9783540697930
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

Reasoning
  • 作者：Krawczyk,Daniel
  • PISBN：9780128092859
  • 出版时间：2018
...

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