1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Cael y testun llawn
Electronig eLyfr