検索結果 - ((function computation) or (structure computational)) programming recursion versus virtue~

提案スペルによる検索:
structure computational » structures computational , structure composition
programming recursion » programming decision , programming session , programming decisions
function computation » function computing , function decomposition , section computational
recursion versus » deduction versus , inclusion versus , recursion arrays
versus virtue » versus nurture , versus value

1

表紙画像

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

出版事項 2007

目次: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
全文の入手

電子媒体 eBook