语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Reasoning - Automation.
概要
作品:
1 作品在 0 项出版品 0 种语言
书目信息
Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(书目-电子资源)
主题
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving.
Reasoning
Computer Science.
处理中
...
变更密码
登入