1
Izdano 2008
Kazalo: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Polni tekst
Elektronski eKnjiga
2
Izdano 2008
Kazalo: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
Polni tekst
Elektronski eKnjiga