The Review of Symbolic Logic

Aldo Antonelli

首页> 外文期刊>Theory and Practice of Logic Programming >The Review of Symbolic Logic

【24h】

The Review of Symbolic Logic

机译：符号逻辑学述评

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

A joint venture between the Association of Symbolic Logic and Cambridge University Press, The Review of Symbolic Logic is designed to cultivate and promote exciting new fields of investigation on the borders of logic, philosophy, mathematics and computer science, including: philosophical logic and its applications; history and philosophy of logic; philosophy and methodology of mathematics.

机译：《符号逻辑评论》是符号逻辑协会与剑桥大学出版社的合资企业，旨在在逻辑，哲学，数学和计算机科学的边界上培育和促进令人兴奋的新研究领域，包括：哲学逻辑及其应用;逻辑的历史和哲学；数学的哲学和方法论。

著录项

来源
《Theory and Practice of Logic Programming》 |2011年第3期|p.433|共1页
作者
Aldo Antonelli;
展开▼
作者单位

University of California, USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Symbolic Procedure Summary Using Regionbased Symbolic Three-valued Logic [J] . Yukun Dong1, 2, Dahai Jin1, Journal of Computers . 2014,第3期

机译：使用RegionBased符号三维逻辑的符号过程摘要
2. 2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019 [J] . The bulletin of symbolic logic . 2019,第4期

机译：2019年欧洲夏天会议象征性逻辑逻辑古典古典古典2019年布拉格，捷克共和国2019年8月11日至16日
3. SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17–21, 2019 [J] . The bulletin of symbolic logic . 2019,第4期

机译：十六岁亚洲逻辑会议象征性逻辑纳扎尔巴耶夫大学Nur-Sultan，哈萨克斯坦2019年6月17日至21日的官方会议
4. Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits [C] . David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller Design, Automation and Test in Europe Conference . 2008

机译：使用可逆和不可逆逻辑电路中的符号等效检查部分冗余逻辑检测
5. EVALUATIONS OF SELECTED LOGIC/PROBLEM-SOLVING EDUCATIONAL MICROCOMPUTER SOFTWARE/COURSEWARE: A CONTENT ANALYSIS OF PUBLISHED REVIEWS [D] . BENDER, EVELYN 1987

机译：选定的逻辑/问题解决型教育微计算机软件/课程评估：已发表评论的内容分析
6. Modeling Manic-Depression with Symbolic Logic [O] . Charles Webster, Gordon Banks 1989

机译：用符号逻辑建模躁狂抑郁症
7. Book Review: The language of taxonomy— An application of symbolic logic to the study of classificatory systems [O] . Leonard J. Savage 1955

机译：书评：分类语言 - 符号逻辑在分类系统研究中的应用

The Review of Symbolic Logic

摘要

著录项

相似文献

相关主题

期刊订阅