登入選單
Google圖書搜尋
ISBN : 3540602755總數: gridview
Higher Order Logic Theorem Proving and Its Applica...
作者
E. Thomas Schubert / Phillip J. Windley / James Alves-Foss
出版Springer Science & Business Media, 1995-08-23
ISBN
3540602755 / 9783540602750
主題
Computers