coq

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...