| FindBook |
|
有 1 項符合
St Goar的圖書 |
 |
$ 3299 | Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10,
出版社：Springer 出版日期：1995-04-26 語言：英文 規格：平裝 / 361頁 / 23.39 x 15.6 x 1.98 cm / 普通級/ 初版  博客來 - 人工智慧
- 來源網頁  看圖書介紹
|
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10,
|
