0
首頁
0
熱門排行
0
個人書房
Voronkov, Andrei.(作者(個人/團體))
,共查得
12
件。
相關度-升冪
相關度-降冪
作者-升冪
作者-降冪
正題名-升冪
正題名-降冪
出版年-升冪
出版年-降冪
Logic for programming and automated reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
Harald Ganzinger, David McAllester, Andrei Voronkov, (eds.).
c1999.
Logic for programming and automated reasoning 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
Michel Parigot, Andrei Voronkov (eds.).
c2000.
Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
edited by Christian G. Fermuller, Andrei Voronkov.
2010.
Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
edited by Edmund M. Clarke, Andrei Voronkov.
2010.
Logic for programming, artificial intelligence, and reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
edited by Nikolaj Bjorner, Andrei Voronkov.
2012.
Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Robert Nieuwenhuis, Andrei Voronkov (eds.).
c2001.
Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Matthias Baaz, Andrei Voronkov (eds.).
c2002.
Perspectives of system informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers /
edited by Manuel Mazzara, Andrei Voronkov.
2016.
Perspectives of system informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers /
edited by Alexander K. Petrenko, Andrei Voronkov.
2018.
Perspectives of system informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
edited by Nikolaj Bjorner, Irina Virbitskaite, Andrei Voronkov.
2019.
1/2
下一頁
重新搜尋
題名
作者(個人/團體)
ISBN
ISSN
叢書名
登錄號
主題
出版者
索書號
全文
全部
圖書
期刊
多媒體
縮小搜尋範圍
題名
作者(個人/團體)
ISBN
ISSN
叢書名
登錄號
主題
出版者
索書號
全文
出版年區間 :
年 ~
年
特藏 :
全部
圖書
參考書
兒童讀物
唱片光碟(Audio Disc)
錄音帶
磁碟片
多媒體
錄影帶
影碟 LD
教科書
資料光碟(Data Disc)
圖畫,靜畫
樂譜
檔案(Page)
教學展示圖
參考書(兒童讀物)
錄音帶(兒童讀物)
錄影帶(兒童讀物)
學報,期刊
珍善本
雷射唱片
透視畫(Diorama)
遊戲
地圖資料
立體畫(Stereograph)
數位影音光碟
幻燈片
投影片
影音光碟
活頁卡片
隨選視訊
電子書
測驗工具
法藍絨
海報Posters
大陸圖書
大陸參考書
師培圖書
本校博士論文
光碟
本校教師著作
期刊合訂本
漫畫書
天母研究討論室
其他
館際合作借書證
小冊子
STEM繪本
隨身碟
語文 :
中文
英語
日語