登入選單
Google圖書搜尋
ISBN : 3662174138總數: gridview
Logic Programming and Automated Reasoning
作者
Andrei Voronkov
出版2014-01-15
ISBN
3662174138 / 9783662174135