登入選單
Google圖書搜尋
ISBN : 366207964X總數: gridview
Interactive Theorem Proving and Program Developmen...
作者
Yves Bertot / Pierre Castéran
出版Springer Science & Business Media, 2013-03-14
ISBN
9783662079645 / 366207964X
主題
Mathematics