登入選單
Google圖書搜尋
ISBN : 3540745904總數: gridview
Theorem Proving in Higher Order Logics
作者
Klaus Schneider
出版Springer Science & Business Media, 2007-08-28
ISBN
9783540745907 / 3540745904
主題
Computers