HyLib 整合性圖書館自動化系統

Voronkov, A.(作者(個人/團體)) ，共查得2 件。

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed. c2002.
Logic for programming artificial intelligence and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov, eds. c2003.
1/1
重新搜尋
全部 圖書 期刊 多媒體
縮小搜尋範圍
出版年區間 :  年 ~ 年
特藏 :
語文 :