网站首页  词典首页

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

 

单词 snark
释义

snark

听听怎么读
[snɑ:k]
是什么意思
  • n.

    蛇鲨;鲨蛇;

  • 英英释义

    SNARK

    • SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering, developed at SRI International.

    以上来源于:Wikipedia

    学习怎么用

    权威例句

    The Snark was a Boojum.
    A Guide to SNARK
    The Hunting of the SNARK
    The hunting of the Snark
    Brand equity: Snark or boojum?
    Regulation of SNARK activity in response to cellular stresses.
    The Snark is a Boojum: the continuing problem of drug resistance in the antiangiogenic era
    The evolution of comparative cognition: is the snark still a boojum?
    Identification of SNARK as a NF-κB regulated antiapoptotic kinase involved in CD95-induced motility and invasiveness
    Sucrose nonfermenting AMPK-related kinase (SNARK) mediates contraction-stimulated glucose transport in mouse skeletal muscle.
    随便看

     

    英语词典包含168364条英汉在线翻译词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

     

    Copyright © 2010-2024 Sijigu.com All Rights Reserved
    京ICP备2021023879号 更新时间:2025/3/4 4:03:24