登入選單
Google圖書搜尋
ISBN : 9783540250517總數: gridview
Mechanizing Mathematical Reasoning
作者
Dieter Hutter
出版Springer Science & Business Media, 2005-02-23
ISBN
9783540250517 / 3540250514
主題
Computers