英语词汇“coq”的意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

学习怎么用

权威例句

Human CoQ(10) deficiencies
The Coq proof assistant user''s guide
A New Extraction for Coq.
Inductive definitions in the system Coq rules and properties
Inductive Definitions in the system Coq - Rules and Properties
Anatomic and Disease Specificity of NADH CoQ , Reductase ( Complex I ) Deficiency in Parkinson ’ s Disease
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Susceptibility of Ochlerotatus trivittatus (Coq.), Aedes albopictus (Skuse), and Culex pipiens (L.) to West Nile virus infection
Dietary and genetic control of the expression of autogenous reproduction in Aedes atropalpus (Coq.) (Diptera : Culicidae).
Ant-attendance as a critical factor in the biological control of the banana aphid Pentalonia nigronervosa Coq. (Hom. Aphididae) in O...

单词	coq
释义	coq 听听怎么读英 [k?k] 美 [k?k] 是什么意思 n. （装饰女帽用的）公鸡（或雄鸟）羽毛；学习怎么用权威例句 Human CoQ(10) deficiencies The Coq proof assistant user''s guide A New Extraction for Coq. Inductive definitions in the system Coq rules and properties Inductive Definitions in the system Coq - Rules and Properties Anatomic and Disease Specificity of NADH CoQ , Reductase ( Complex I ) Deficiency in Parkinson ’ s Disease Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Susceptibility of Ochlerotatus trivittatus (Coq.), Aedes albopictus (Skuse), and Culex pipiens (L.) to West Nile virus infection Dietary and genetic control of the expression of autogenous reproduction in Aedes atropalpus (Coq.) (Diptera : Culicidae). Ant-attendance as a critical factor in the biological control of the banana aphid Pentalonia nigronervosa Coq. (Hom. Aphididae) in O...
随便看	steppage gait stepparent steppe stepped stepped-up stepper steppers steppes stepping stepping stone stepping-stone steppingstone STEPS stepsister stepson stepstone stepwise ster steradian stercoraceous stere stereo stereo system stereo- stereobate