臺北市立大學行動版館藏查詢

Sofronie-Stokkermans, Viorica.(作者(個人/團體)) ，共查得3 件。

Automated deduction CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / edited by Nikolaj Bjorner, Viorica Sofronie-Stokkermans. 2011.

Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings. edited by Nicolas Peltier, Viorica Sofronie-Stokkermans. 2020.

Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings. edited by Nicolas Peltier, Viorica Sofronie-Stokkermans. 2020.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :