non-premise inference of predicative calculus

英 美
  • 谓词演算中的无前提推演
  • calculus n.微积分；算法；结石
  • inference n.推理；推论；推断；结论
  • non adv.[拉]非；不是
  • of prep.关于；...的（表所属）；出身于；由于
  • predicative n.[语]表语adj.做表语的

相关词汇

non non-skaking
展开全文

大家正在查

normal-schoolstudent是什么意思 normalizing-quenching-tempering是什么意思 ntrovesicofixation是什么意思 ntmorillonitestructure是什么意思 nter-countermeasures是什么意思 NTRUpublic-keycryptosystem是什么意思 N-nitrosomorpholine是什么意思 n-caproylpyrazolone是什么意思 N-propylacetanilide是什么意思 N-demethylvancomycin是什么意思