圖書介紹 - 資料來源:博客來 目前評分: 評分:
圖書名稱:Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10,
詳細資料
ISBN:9783540593386 規格:平裝 / 361頁 / 23.39 x 15.6 x 1.98 cm / 普通級 / 初版 出版地:美國
66折: $ 284
作者:墨楓
出版社:東佑文化事業有限公司
出版日期:2014-06-20
66折: $ 165
66折: $ 263
66折: $ 231
作者:荒川弘
出版社:東立出版社
出版日期:2026-05-06
$ 162
作者:藤峰式
出版社:長鴻出版社股份有限公司
出版日期:2026-05-08
$ 118
作者:くせ毛
出版社:東立出版社
出版日期:2026-05-06
$ 126
作者:妮可.維諾拉
出版社:麥田
出版日期:2024-06-01
$ 331
作者:何立安
出版社:堡壘文化
出版日期:2026-05-06
$ 462
作者:彭士齊
出版社:唯心文化有限公司
出版日期:2026-05-13
$ 387
作者:迎夏生、河合望
出版社:野人文化
出版日期:2026-05-06
$ 356
作者:文耀翰
出版社:新樂園
出版日期:2026-05-06
$ 266