検索結果 - integrating constraints programing recursion versus value

提案スペルによる検索:
integrating constraints » integrating constraint , interactions constraints , integrity constraints
constraints programing » constraints programming , constraint programing , constraint programming
programing recursion » programming recursion , programming decision , programming version
recursion versus » deduction versus , inclusion versus , recursion arrays
versus value » versus virtue , versus all

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