文献
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)