snark
听听怎么读
[snɑ:k]
是什么意思
蛇鲨;鲨蛇;
英英释义
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 SNARKThe Hunting of the SNARKThe hunting of the SnarkBrand 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 eraThe 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 invasivenessSucrose nonfermenting AMPK-related kinase (SNARK) mediates contraction-stimulated glucose transport in mouse skeletal muscle.