coq什么意思 coq音标、翻译、用法
coq音标
英 [kɒk]
美 [kɒk]
coq翻译
n.
（装饰女帽用的）公鸡（或雄鸟）羽毛；
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...