首页> 外文OA文献 >Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)

【2h】

Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)

机译：对数真值表缩减和强迫条件的最小大小：初稿（证明理论和计算理论）

页面导航

著录项
相似文献
相关主题

著录项

作者
Kumabe Masahiro; Suzuki Toshio; Yamazaki Takeshi;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Truth-table reductions and minimum sizes of forcing conditions (preliminary draft) [J] . 隈部正博, 鈴木豊志雄, 山崎武, 数理解析研究所讲究录 . 2007,第1533期

机译：减少真相表和强制条件的最小大小（初稿）
2. Truth-table reductions and minimum sizes of forcing conditions (preliminary draft) [J] . 隈部正博, 鈴木豊志雄, 山崎武, 数理解析研究所讲究录 . 2007,第1533期

机译：迫使条件的真实表减少和最小尺寸（初步草案）
3. Proof of the Flohr-Grabow-Koehn conjectures for characters of logarithmic conformal field theory [J] . Warnaar SO Journal of physics, A. Mathematical and theoretical . 2007,第40期

机译：对数共形场论性质的Flohr-Grabow-Koehn猜想的证明
4. How to Develop Students' Experience on Mathematical Proof in Group Theory Course by Conditioning-Reinforcement-Scaffolding [C] . Mokhammad Ridwan Yudhanegara, Karunia Eka Lestari South East Asia Development Research International Conference . 2017

机译：如何通过调节 - 加固 - 脚手架开发学生对集团理论课程中数学证明的经验
5. Non-invasive detection of pre-malignant lesions using sub-ablative, deep ultraviolet laser-tissue interactions coupled with endogenous tissue fluorescence: Proof-of-concept, computational modeling, and detection-theory strategies for clinical instrument design and testing. [D] . Kozikowski, Raymond Thomas, III. 2012

机译：使用亚消融性深紫外激光-组织相互作用与内源性组织荧光相结合的无创检测恶性前病变的方法：概念验证，计算模型以及用于临床仪器设计和测试的检测理论策略。
6. A Computational Proof of Concept of a Machine-Intelligent Artificial Pancreas Using Lyapunov Stability and Differential Game Theory [O] . Nigel J. C. Greenwood, Jenny E. Gunton 2014

机译：基于Lyapunov稳定性和微分博弈论的机器智能人工胰腺概念的计算证明。
7. Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic) [O] . Kumabe Masahiro, Suzuki Toshio, Yamazaki Takeshi 2007

机译：真值表缩减和强制条件的最小大小：初稿（算术证明理论）
8. A COMPUTATIONAL PROOF PROCEDURE;AXIOMS FOR NUMBER THEORY;RESEARCH ON HUBERT'S TENTH PROBLEM [R] . Martin Davis, Hilary Putnam 1959

机译：计算证明程序;数论的公理; HUBERT's第十题的研究

Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)

著录项

相似文献

相关主题

期刊订阅