登入選單
Google圖書搜尋
ISBN : 9780521899574總數: gridview
Handbook of Practical Logic and Automated Reasonin...
作者
John Harrison
出版Cambridge University Press, 2009-03-12
ISBN
9780521899574 / 0521899575
主題
Computers