首页> 外文OA文献 >Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)

【2h】

Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)

机译：作为通信演算的多重结论系统：作为通信术语的证明的非正式含义（代数系统，形式语言和计算）

页面导航

著录项
相似文献
相关主题

著录项

作者
Fujita Ken-etsu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Neural systems language: A formal modeling language for the systematic description, unambiguous communication, and automated digital curation of neural connectivity [J] . BrownR.A., SwansonL.W. The Journal of Comparative Neurology . 2013,第13期

机译：神经系统语言：一种正式的建模语言，用于系统地描述，明确的交流和对神经连接的自动数字管理
2. Mutual Redundancies in Interhuman Communication Systems: Steps Toward a Calculus of Processing Meaning [J] . Loet Leydesdorff, Inga A. Ivanova Journal of the American Society for Information Science and Technology . 2014,第2期

机译：人际交流系统中的相互冗余：迈向处理意义演算的步骤
3. Describing distributed systems with formal specification language focusing on deployment and communication paths of components [J] . Hayato Miyata, Kazuhiro Fujieda, Koichiro Ochimizu 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第569期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
4. The Meaning of Infinity in Calculus and Computer Algebra Systems [C] . Michael Beeson, Freek Wiedijk International Conference on Artificial Intelligence and Symbolic Computation . 2002

机译：微积分和计算机代数系统中无限的含义
5. THE PRESBYTERIAN COMMUNICATION SYSTEM: AN EXAMINATION OF THE FORMAL MASS COMMUNICATION SYSTEM OF THE UNITED PRESBYTERIAN CHURCH, USA. [D] . HORMELL, SIDNEY JAMES. 1966

机译：老公通信系统：对美国老公教会正式的大众通信系统的检验。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. QUANTUM MODELS AND MODES OF COMPUTATION AND COMMUNICATION (Algebraic Systems, Formal Languages and Computations) [O] . Gruska Jozef, Vollmar Roland 2000

机译：量子模型和计算与通信模式（代数系统，形式语言和计算）
8. Spacecraft If Switch Matrix for Wideband Service Applications in 30/20 Ghz Communications Satellite Systems: Proof-of-Concept Model, Executive Summary [R] . Ho, P. T., Coban, E., Pelose, J. 1983

机译：航天器用于30/20 Ghz通信卫星系统中宽带业务应用的交换矩阵：概念验证模型，执行摘要

Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)

著录项

相似文献

相关主题

期刊订阅