登入選單
Google圖書搜尋
ISBN : 0387571841總數: gridview
Computational Logic and Proof Theory
作者
Georg Gottlob / Alexander Leitsch / Daniele Mundici
出版1993
ISBN
UOM:39015033145890
主題
Automatic theorem proving