《自動演繹-CADE-18/會議錄 Automated deduction-CADE-18》下載

《自動演繹-CADE-18/會議錄 Automated deduction-CADE-18》PDF下載

圖書名稱: 自動演繹-CADE-18/會議錄 Automated deduction-CADE-18
封面圖片:
出版印刷時(shí)間: 2002-12
出版社: 1 edition (2002年9月1日)
圖書作者: Andrei Voronkov
文件格式: PDF
13位ISBN: 9783540439318
10位ISBN: 3540439315
頁數(shù): 534
下載地址: 自動演繹-CADE-18/會議錄 Automated deduction-CADE-18PDF格式下載
    
查看詳細(xì): 自動演繹-CADE-18/會議錄 Automated deduction-CADE-18

250萬本中文圖書簡介、評論、評分,PDF格式免費(fèi)下載。 第一圖書網(wǎng) 手機(jī)版

京ICP備13047387號-7