語系:
繁體中文
English
說明(常見問題)
登入
語系
英文
(1)
跳至 :
概要
|
書目資訊
|
主題
Voronkov, A. (1959-)
概要
作品:
0 作品在 1 項出版品 1 種語言
書目資訊
Handbook of automated reasoning
by: Voronkov, A. (1959-); Robinson, J. A.
(書目-語言資料,印刷品)
主題
Automatic theorem proving.
Qualitative reasoning.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入