MATHEMATICAL REASONING AND EXTERNAL SYMBOLIC SYSTEMS

被引：0
|
作者：
Novaes, Catarina Dutilh [1 ]
机构：
[1] Univ Groningen, Fac Philosophy, NL-9712 GL Groningen, Netherlands
来源：
LOGIQUE ET ANALYSE | 2013年 / 221期
关键词：
OKSAPMIN;
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：45 / 65
页数：21
相关论文
共 50 条
  • [21] Strong Emergence in Biological Systems: Is It Open to Mathematical Reasoning?
    Zhifeng Hao
    Jiayou Liu
    Biao Wu
    Min Yu
    Lars H. Wegner
    Acta Biotheoretica, 2021, 69 : 841 - 856
  • [22] Q2 symbolic reasoning about noisy dynamic systems
    Linder, SP
    Korona, Z
    Kokar, MM
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1999, 24 (03) : 295 - 311
  • [23] Reasoning about time and knowledge in neural-symbolic learning systems
    Garcez, ASD
    Lamba, LC
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 16, 2004, 16 : 921 - 928
  • [24] Q2 symbolic reasoning about noisy dynamic systems
    Linder, Stephen P.
    Korona, Zbigniew
    Kokar, Mieczyslaw M.
    Journal of Intelligent and Robotic Systems: Theory and Applications, 1999, 24 (03): : 295 - 311
  • [25] Q2 Symbolic Reasoning about Noisy Dynamic Systems
    Stephen P. Linder
    Zbigniew Korona
    Mieczyslaw M. Kokar
    Journal of Intelligent and Robotic Systems, 1999, 24 : 295 - 311
  • [26] Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
    Hu, Yigong
    Huang, Gongqi
    Huang, Peng
    PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20), 2020, : 719 - 734
  • [27] Symbolic algebra in mathematical analysis of chemical-kinetic systems
    Jemmer, P
    JOURNAL OF COMPUTATIONAL CHEMISTRY, 1997, 18 (15) : 1903 - 1917
  • [28] Symbolic mathematical model of multibody systems containing flexible bodies
    Ciglaric, I
    Prebil, I
    PROCEEDINGS OF THE 6TH INTERNATIONAL DESIGN CONFERENCE: DESIGN 2000, 2000, : 513 - 520
  • [29] MATHEMATICAL REASONING AND MATHEMATICAL CONVENTIONS
    BOYD, J
    AMERICAN ANTHROPOLOGIST, 1968, 70 (01) : 107 - &
  • [30] MATHEMATICAL REASONING
    STERLING, L
    BYTE, 1987, 12 (11): : 177 - 180
12345