登入選單
Google圖書搜尋
ISBN : 9783642175107總數: gridview
Logic for Programming, Artificial Intelligence, an...
作者
Edmund M. Clarke / Andrei Voronkov
出版Springer Science & Business Media, 2011-01-04
ISBN
9783642175107 / 3642175104
主題
Computers