首页> 外文期刊>Isis: An International Review Devoted to the History of Science and its Cultural Influences >Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age.

【24h】

Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age.

机译：Jan Von Plato。伟大的正式机械工程：数字时代起源的扣除和计算理论。

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Isis: An International Review Devoted to the History of Science and its Cultural Influences》 |2018年第3期|共2页
作者
Lukas M. Verburgt;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自然科学史;
关键词

相似文献

外文文献
专利

1. Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. [J] . Lukas M. Verburgt Isis: An International Review Devoted to the History of Science and its Cultural Influences . 2018,第3期

机译：Jan Von Plato。伟大的正式机械工程：数字时代起源的扣除和计算理论。
2. Jan von Plato. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. [J] . Lukas M. Verburgt Isis: An International Review Devoted to the History of Science and its Cultural Influences . 2018,第3期

机译：Jan Von Plato。伟大的正式机械工程：数字时代起源的扣除和计算理论。
3. The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age, by Jan Von Plato [J] . John W Dawson Jr BSHM bulletin . 2018,第3期

机译：伟大的正式机械工程：在数码时代的起源和计算的扣除和计算理论，由Jan Von Plato
4. Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory [C] . Gao Hongbiao, Goto Yuichi, Cheng Jingde International Conference on Semantics, Knowledge and Grids . 2013

机译：基于形式理论的半格模型的正演推导自动定理查找：以NBG集理论为例
5. Computational Approaches to the Translation of Buddhist Texts: New Directions in Buddhist Translation in the Digital Age. [D] . Siu, Sai Cheong. 2011

机译：佛教文本翻译的计算方法：数字时代佛教翻译的新方向。
6. A novel relationship between the radical-scavenging activity of flavonoids and enthalpy of formation revealed with Hartree–Fock computations and thermochemical deduction [O] . Ameha Seyoum Woldu, Joachim Mai 2012

机译：通过Hartree-Fock计算和热化学推论揭示了类黄酮的自由基清除活性与形成焓之间的新关系
7. Creating Modern Probability. Its Mathematics, Physics and Philosophy in Historical Perspective.By Jan von Plato. Cambridge/New York/Melbourne (Cambridge Univ. Press). 1994. [O] . Hochkirchen Thomas 1996

机译：创造现代概率。历史视野中的数学，物理学和哲学。作者：扬·冯·普拉托（Jan von Plato）。剑桥/纽约/墨尔本（剑桥大学出版社）。 1994年。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号