coq 基本解释
n.（装饰女帽用的）公鸡（或雄鸟）羽毛；
coq 相关例句
权威例句
Human CoQ(10) deficienciesThe Coq proof assistant user''s guideA New Extraction for Coq.Inductive definitions in the system Coq rules and propertiesInductive Definitions in the system Coq - Rules and PropertiesAnatomic and Disease Specificity of NADH CoQ , Reductase ( Complex I ) Deficiency in Parkinson ’ s DiseaseCertified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof AssistantSusceptibility of Ochlerotatus trivittatus (Coq.), Aedes albopictus (Skuse), and Culex pipiens (L.) to West Nile virus infectionDietary 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...
