coq

coq怎么读

英式音标：[kɒk]

美式音标：[kɒk]

coq的意思释义

n.

（装饰女帽用的）公鸡（或雄鸟）羽毛；

coq用法及例句

例句参考

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