网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 coq
释义

coq /kɔk/

英汉-汉英词典
n. (装饰女帽用的)公鸡(或雄鸟)羽毛
词组 | 习惯用语
您要查找的是不是:
  • cow n. 奶牛,母牛;母兽 vt. 威胁,恐吓
  • COM abbr. 组件对象模型(Component Object Model);计算机输出缩微胶片(Computer-Output Microfilm)
  • con v. 欺骗,哄骗;指挥(船)的驾驶;熟读,默记 n. 诈骗,骗局;反对票;囚犯;不利;指挥驾船(岗位);(尤指科幻小说迷参加的)会议 adv. 反面地 adj. 欺诈的 prep. 以……
  • col n. 山坳;出口;峡路
  • cod n. 鳕鱼;愚弄;哄骗 vi. 欺骗;愚弄
coq n. (法)公鸡; n. (Coq)人名;(法)科克;
coq au vin n. 酒闷仔鸡

网络短语:
coq content coq10含量
coq france 科克法兰西公司
Le coq 乐卡克; 法国公鸡;
poids coq 最轻量级
coq coquina 贝壳灰岩
coquina coq 贝壳灰岩
coenzyme q coq 辅酶q10
Le coq sport 公鸡
albertvon le coq 勒考克
Ie coq sportif 公鸡
英语例句库
  1. By the time the coq au vin is bubbling nicely, Mr Millard has gone out somewhere.
    等酒焖仔鸡快焖好的时候,米勒德已经走出去了。

声明:以上例句、词性分类均由互联网资源自动生成,未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

原声例句
艾米丽在巴黎 第一季 Emily in Paris Season 1

I told you. His coq is the best.

我都说了 他的鸡肉最好吃了。

艾米丽在巴黎 第一季 Emily in Paris Season 1

Emily, have you tasted this man's coq au vin?

艾米丽 你尝过他的红酒烩" 鸡" 吗?

《绝望的主妇》第七季

Why would you wanna be with Sloppy Joe when you can be with coq au vin in there?

当一个女人面前有红酒焖鸡时她又怎么会选牛肉糜呢?

绝望的主妇(音频版)第六季

Would you like to sample something else, Mr. Vitale? Some salmon en croute or perhaps some coq au vin?

你想尝尝别的吗,维塔勒先生?来点鲑鱼面包丁或者红酒烩鸡怎么样?

查莉成长日记 第1季

Tonight we're having coq au vin and white asparagus.

今晚的餐色是法式红酒烩鸡配白芦笋。

绯闻女孩 第4季

Well, who needs pizza when you have coq au vin?

如果有法式鸡尾酒谁还要比萨呢?

马男波杰克 第2季

That is not what I thought coq au vin was. But it's great.

那不是我想的酒闷仔鸡 但还不错。

马男波杰克 第2季

I can't wait to get home. I got a coq au vin in the slow cooker.

我要赶紧回家 我炖着酒闷仔鸡呢。

圣诞吃什么

The chicken broth is going to add a really nice, deep, rich flavor to our coq au vin.

鸡汤将为我们的红酒增添一种非常美味、浓郁、浓郁的味道。

圣诞吃什么

And what that is going to do is thicken up our coq au vin and give it a nice, velvety smooth texture.

这样做的目的是让我们的红葡萄酒变浓稠,并赋予它一种漂亮、天鹅绒般光滑的质地。

中文百科

Coq

一个交互式定理证明的CoqIDE会话,左侧为证明的脚本,右侧显示当前证明的状态。

Coq 是一个交互式的定理证明辅助工具。它允许用户输入包含数学断言的表达式、机械化地对这些断言执行检查、帮助构造形式化的证明、并从其形式化描述的构造性证明中提取出可验证的(certified)进程。Coq 的理论基础是归纳构造演算(calculus of inductive constructions)、一种构造演算(calculus of constructions)的衍生理论。Coq 并非一个自动化定理机器证明语言;然而,它提供了自动化定理证明的策略(tactics)和不同的决策过程。

Coq 同时还是一个依赖类型的函数式编程语言。它由法国PPS实验室的PI.R2团队研究开发,该团队由INRIA、巴黎综合理工学院、巴黎第十一大学、巴黎第七大学和法国国家科学研究中心组成。此前里昂高等师范学校亦曾参与开发。Coq 项目当前由 Gérard Huet、Christine Paulin 和 Hugo Herbelin领导。Coq 使用 OCaml 以及少部分 C 实现。

英语百科

Coq

An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.
CoqIde : l'environnement de développement de Coq.

In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/17 4:39:13