首页> 美国政府科技报告 >Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics

【24h】

Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics

机译：CWa，最小模型与最小Herbrand模型语义的关系

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

No abstract available.

著录项

作者
Przymusinski, T. C.; Gelfond, M.; Prymusinska, H.;
展开▼
作者单位

展开▼
年度 1991
页码
总页数 17
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Reprints; Nonmonotonic semantics;

机译：重印;非单调语义;

相似文献

外文文献
中文文献
专利

1. Properties and interrelationships of skeptical, weakly skeptical,and credulous inference induced by classes of minimal models [J] . Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Artificial intelligence . 2021,第Auga期

机译：持怀疑态度和相互关系的持怀疑态度，持弱持怀疑态度，并由最小模型课堂诱导的轻信推理
2. Interrelationships between Infliximab and Recombinant Tumor Necrosis Factor-alpha in Plasma Using Minimal Physiologically Based Pharmacokinetic Models [J] . Chen Xi, DuBois Debra C., Almon Richard R., Drug Metabolism and Disposition: The Biological Fate of Chemicals . 2017,第7期

机译：使用最小生理基于生理学药代动力学模型的血浆中英夫利昔单抗与重组肿瘤坏死因子-α的相互关系
3. The calculation of sparticle and Higgs decays in the minimal and next-to-minimal supersymmetric standard models: SOFTSUSY4.0 [J] . B.C. Allanach, T. Cridge Computer physics communications . 2017,第期

机译：在最小和下一个最小的超对比标准模型中的孢子和HIGGS衰减的计算： Softsy4.0
4. Generating minimal herbrand models step by step [C] . Heribert Schutz International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX'99 Saratoga Springs; NY,USA,June 7-11, 1999 . 1999

机译：逐步生成最少的Herbrand模型
5. On Minimal Models and Canonical Models of Elliptic Fourfolds with Section [D] . Wen, David. 2018

机译：关于椭圆四重件的最小模型和典型模型
6. Interrelationships between Infliximab and Recombinant Tumor Necrosis Factor-α in Plasma Using Minimal Physiologically Based Pharmacokinetic Models [O] . Xi Chen, Debra C. DuBois, Richard R. Almon, -1

机译：英夫利昔单抗与血浆中重组肿瘤坏死因子-α之间的相互关系采用最小的基于生理学的药代动力学模型
7. Regions of minimal structural variation among members of protein domain superfamilies: application to remote homology detection and modelling using distant relationships [O] . Chakrabarti Saikat, Sowdhamini R. 2004

机译：蛋白质结构域超家族成员之间最小的结构变异区域：在远距离同源性检测和建模中的应用

Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics

摘要

著录项

相似文献

相关主题

期刊订阅