掌橋科研
一站式科研服務平臺
學術工具
文檔翻譯
論文查重
文檔轉換
收錄證明
科技查新
選刊投稿
首頁
成為會員
我要充值
退出
我的積分：
中文會員
開通
中文文獻批量獲取
外文會員
開通
外文文獻批量獲取
我的訂單
會員中心
我的包量
我的余額
登錄/注冊
文獻導航
中文期刊
>
中文會議
>
中文學位
>
中國專利
>
外文期刊
>
外文會議
>
外文學位
>
外國專利
>
外文OA文獻
>
外文科技報告
>
中文圖書
>
外文圖書
>
工業技術
基礎科學
醫藥衛生
農業科學
教科文藝
經濟財政
社會科學
哲學政法
其他
工業技術
基礎科學
醫藥衛生
農業科學
教科文藝
經濟財政
社會科學
哲學政法
其他
自然科學總論
數學、物理、化學、力學
天文學、地球科學
生物科技
醫學、藥學、衛生
航空航天、軍事
農林牧漁
機械、儀表工業
化工、能源
冶金礦業
電子學、通信
計算機、自動化
土木、建筑、水利
交通運輸
輕工業技術
材料科學
電工技術
一般工業技術
環境科學、安全科學
圖書館學、情報學
社會科學
其他
馬克思主義、列寧主義、毛澤東思想、鄧小平理論
哲學、宗教
社會科學總論
政治、法律
軍事
經濟
文化、科學、教育、體育
語言、文字
文學
藝術
歷史、地理
自然科學總論
數理科學和化學
天文學、地球科學
生物科學
醫藥、衛生
農業科學
工業技術
交通運輸
航空、航天
環境科學、安全科學
綜合性圖書
自然科學總論
數學、物理、化學、力學
天文學、地球科學
生物科技
醫學、藥學、衛生
航空航天、軍事
農林牧漁
機械、儀表工業
化工、能源
冶金礦業
電子學、通信
計算機、自動化
土木、建筑、水利
交通運輸
輕工業技術
材料科學
電工技術
一般工業技術
環境科學、安全科學
圖書館學、情報學
社會科學
其他
自然科學總論
數學、物理、化學、力學
天文學、地球科學
生物科技
醫學、藥學、衛生
航空航天、軍事
農林牧漁
機械、儀表工業
化工、能源
冶金礦業
電子學、通信
計算機、自動化
土木、建筑、水利
交通運輸
輕工業技術
電工技術
一般工業技術
環境科學、安全科學
圖書館學、情報學
社會科學
其他
自然科學總論
數學、物理、化學、力學
天文學、地球科學
生物科技
醫學、藥學、衛生
航空航天、軍事
農林牧漁
機械、儀表工業
化工、能源
冶金礦業
電子學、通信
計算機、自動化
土木、建筑、水利
交通運輸
輕工業技術
材料科學
電工技術
一般工業技術
環境科學、安全科學
圖書館學、情報學
社會科學
其他
美國國防部AD報告
美國能源部DE報告
美國航空航天局NASA報告
美國商務部PB報告
外軍國防科技報告
美國國防部
美國參聯會主席指示
美國海軍
美國空軍
美國陸軍
美國海軍陸戰隊
美國國防技術信息中心(DTIC)
美軍標
美國航空航天局(NASA)
戰略與國際研究中心
美國國土安全數字圖書館
美國科學研究出版社
蘭德公司
美國政府問責局
香港科技大學圖書館
美國海軍研究生院圖書館
OALIB數據庫
在線學術檔案數據庫
數字空間系統
劍橋大學機構知識庫
歐洲核子研究中心機構庫
美國密西根大學論文庫
美國政府出版局（GPO）
加利福尼亞大學數字圖書館
美國國家學術出版社
美國國防大學出版社
美國能源部文獻庫
美國國防高級研究計劃局
美國陸軍協會
美國陸軍研究實驗室
英國空軍
美國國家科學基金會
美國戰略與國際研究中心-導彈威脅網
美國科學與國際安全研究所
法國國際關系戰略研究院
法國國際關系研究所
國際宇航聯合會
美國防務日報
國會研究處
美國海運司令部
北約
盟軍快速反應部隊
北約淺水行動卓越中心
北約盟軍地面部隊司令部
北約通信信息局
北約穩定政策卓越中心
美國國會研究服務處
美國國防預算辦公室
美國陸軍技術手冊
一般OA
科技期刊論文
科技會議論文
圖書
科技報告
科技專著
標準
其它
美國衛生研究院文獻
分子生物學
神經科學
藥學
外科
臨床神經病學
腫瘤學
細胞生物學
遺傳學
公共衛生&環境&職業病
應用微生物學
全科醫學
免疫學
動物學
精神病學
獸醫學
心血管
放射&核醫學&醫學影像學
兒科
醫學進展
微生物學
護理學
生物學
牙科&口腔外科
毒理學
生理學
醫院管理
婦產科學
病理學
生化技術
胃腸&肝臟病學
運動科學
心理學
營養學
血液學
泌尿科學&腎病學
生物醫學工程
感染病
生物物理學
矯形
外周血管病
藥物化學
皮膚病學
康復學
眼科學
行為科學
呼吸學
進化生物學
老年醫學
耳鼻喉科學
發育生物學
寄生蟲學
病毒學
醫學實驗室檢查技術
生殖生物學
風濕病學
麻醉學
危重病護理
生物材料
移植
醫學情報
其他學科
人類生活必需品
作業；運輸
化學；冶金
紡織；造紙
固定建筑物
機械工程；照明；加熱；武器；爆破
物理
電學
人類生活必需品
作業；運輸
化學；冶金
紡織；造紙
固定建筑物
機械工程；照明；加熱；武器；爆破
物理
電學
馬克思主義、列寧主義、毛澤東思想、鄧小平理論
哲學、宗教
社會科學總論
政治、法律
軍事
經濟
文化、科學、教育、體育
語言、文字
文學
藝術
歷史、地理
自然科學總論
數理科學和化學
天文學、地球科學
生物科學
醫藥、衛生
農業科學
工業技術
交通運輸
航空、航天
環境科學、安全科學
綜合性圖書
主題
主題
題名
作者
關鍵詞
摘要
高級搜索 >
外文期刊
外文會議
外文學位
外國專利
外文圖書
外文OA文獻
中文期刊
中文會議
中文學位
中國專利
中文圖書
外文科技報告
清除
歷史搜索
清空歷史
首頁
>
外文期刊
>
計算機、自動化
>
Journal of Automated Reasoning
Journal of Automated Reasoning
中文名稱：自動推理雜志
ISSN：
0168-7433
出版周期：
發文量：1
期刊論文
熱門論文
年度選擇
2001
第1期
更多>>
全選（
0
）
清除
導出
1.
Induction Proofs with Partial Functions
機譯：
具有部分函數的歸納證明
作者：
JURGEN GIESL
期刊名稱：
《Journal of Automated Reasoning》
|
2001年第1期
關鍵詞：
induction;
automated theorem proving;
partial functions;
意見反饋
回到頂部
回到首頁
看新澳门最快开奖结果,新澳门最近15期开什么,马会传真-新澳门云,新澳门三肖三码最准网,新澳门资料新澳门资料
){kind=link}