文献

J-GLOBAL ID：201402254251257845   整理番号：14A0004501

アドホック証明自動化を低アドホックにする方法

How to make ad hoc proof automation less ad hoc

著者 (4件)： GONTHIER Georges (Microsoft Res., Cambridge, GBR) ,  ZILIANI Beta (Max Planck Inst. Software Systems (MPI-SWS), Saarbruecken, DEU) ,  NANEVSKI Aleksandar (IMDEA Software Inst., Madrid, ESP) ,  DREYER Derek (Max Planck Inst. Software Systems (MPI-SWS), Saarbruecken, DEU)
資料名： Journal of Functional Programming  (Journal of Functional Programming)
巻： 23  号： 4  ページ： 357-401  発行年： 2013年07月 
JST資料番号： W1589A  ISSN： 0956-7968  資料種別： 逐次刊行物 (A)
発行国： イギリス (GBR)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： アドホック ,  証明 ,  自動化