Publisher： Cambridge University Press
E-ISSN： 1570-5846|146|2|507-540
ISSN： 0010-437x
Source： Compositio Mathematica, Vol.146, Iss.2, 2010-03, pp. : 507-540
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The Transfer of Fibres in the Carding Machine
Journal of Engineering Mathematics, Vol. 54, Iss. 3, 2006-03 ,pp. :
Access to resources
Recommend
A universal inductive inference machine
The Journal of Symbolic Logic, Vol. 56, Iss. 2, 1991-06 ,pp. :
Machine learning of higher-order programs
The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. :