登入選單
Google圖書搜尋
ISBN : 3540581561總數: gridview
Automated Deduction, Cade-12.
作者
Alan Bundy
出版Springer Science & Business Media, 1994-06-08
ISBN
3540581561 / 9783540581567
主題
Computers
Automated Deduction, CADE ...
出版1994
ISBN
UOM:39015032710884
主題
Automatic theorem proving