权威例句
grants DAA29-84-K-0061, DAA29-84-9-0027Specifying Theorem Provers in a Higher-Order Logic Programming LanguageMolecular cytogenetic analysis of Aegilops cylindrica host.Jouanguy, E. et al. Partial interferon- receptor 1 deficiency in a child with tuberculoid bacillus Calmette-Guerin infection and a s...The relation between valence and arousal in subjective experience.Fluorous triphasic reactions: transportative deprotection of fluorous silyl ethers with concomitant purification.Stable equivalences of morita type for self-injective algebras andp-groupsThe Mathematics and Statistics of Voting PowerLinckelmann, M.: Stable equivalences of Morita type for self-injective algebras and p-groups. Math. Z. 223(1), 87-100Partial interferon-gamma receptor 1 deficiency in a child with tuberculoid bacillus Calmette-Guérin infection and a sibling with cl...Estimating parameters of the diffusion model: approaches to dealing with contaminant reaction times and parameter variability.