文献
J-GLOBAL ID:201202223424754940
整理番号:12A1028749
代数礼賛
In praise of algebra
著者 (2件):
HOARE Tony
(Microsoft Res., Cambridge, GBR)
,
STADEN Stephan
(ETH Zurich, Zurich, CHE)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
24
号:
4-6
ページ:
423-431
発行年:
2012年07月
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)