英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
coq查看　coq　在百度字典中的解释百度英翻中〔查看〕
coq查看　coq　在Google字典中的解释Google英翻中〔查看〕
coq查看　coq　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Coq介绍与入门（一） - 知乎
    本文 系列旨在介绍 Coq，并对如何使用Coq进行入门级的讲解。 什么是Coq根据官方描述，Coq是一个证明管理系统 交互性定理证明工具。 Coq由法国开发，现由Inria进行维护和开发。 Coq的kernel基本上是用OCaml开发的。 Co…
  • Welcome to a World of Rocq
    The Rocq Prover was formerly known as the Coq Proof Assistant (see more on the name evolution)
  • Coq - Wikipedia
    Coq, an interactive theorem prover, renamed to Rocq in 2025 CoQ, common term for Coenzyme Q10, a naturally occurring biochemical cofactor and antioxidant produced by the human body
  • CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 . . .
    Coenzyme Q (CoQ, aka ubiquinone) is a key component of the mitochondrial electron transport chain (ETC) and membrane-incorporated antioxidant CoQ10 deficiencies encompass a heterogeneous spectrum of clinical phenotypes and can be caused by
  • Brown adipose tissue CoQ deficiency activates the integrated stress . . .
    Abstract Coenzyme Q (CoQ) is essential for mitochondrial respiration and required for thermogenic activity in brown adipose tissues (BAT) CoQ deficiency leads to a wide range of pathological manifestations, but mechanistic consequences of CoQ deficiency in specific tissues, such as BAT, remain poorly understood
  • Rocq - Wikipedia
    The Rocq Prover (formerly named Coq) is an interactive theorem prover first released in 1989 It allows the expression of mathematical assertions, mechanical checking of proofs of these assertions, assists in finding formal proofs using proof automation routines and extraction of a certified program from the constructive proof of its formal
  • Coq 入门级技巧 - 知乎 - 知乎专栏
    Coq 为我们找到了三个非常有用的关系。 顺带一提， inversion 和 subst 搭配使用效果更佳，因为 subst 可以把 inversion 发现的等式带入并化简，让假设看起来更加清楚。
  • Introduction and Contents — Coq 8. 19. 0 documentation - Inria
    Introduction and Contents This is the reference manual of Coq Coq is an interactive theorem prover It lets you formalize mathematical concepts and then helps you interactively generate machine-checked proofs of theorems Machine checking gives users much more confidence that the proofs are correct compared to human-generated and -checked proofs
  • Brown adipose tissue CoQ deficiency activates the integrated stress . . .
    Coenzyme Q (CoQ) is essential for mitochondrial respiration and required for thermogenic activity in brown adipose tissues (BAT) CoQ deficiency leads to a wide range of pathological manifestations, but mechanistic consequences of CoQ deficiency in
  • Coq au vin — Meaning, Pronunciation, and Examples in French
    Coq au vin is a classic French dish consisting of chicken braised slowly in red wine with mushrooms, onions, garlic, and often bacon The name literally means “rooster in wine,” though modern versions use chicken





中文字典-英文字典  2005-2009