登入選單
返回Google圖書搜尋
Computational Logic and Proof Theory
Georg Gottlob
出版Springer, 2014-01-15
主題Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Programming / AlgorithmsMathematics / Logic
ISBN36621855719783662185575
URLhttp://books.google.com.hk/books?id=B0MFswEACAAJ&hl=&source=gbs_api