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