Formal proofs and decision making

被引：3
|
作者：
Finsler, P
机构：
来源：
MATHEMATISCHE ZEITSCHRIFT | 1926年 / 25卷
关键词：
D O I：
10.1007/BF01283861
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：676 / 682
页数：7
相关论文
共 50 条
  • [1] On formal proofs
    Cantini, Andrea
    [J]. DEDUCTION, COMPUTATION, EXPERIMENT: EXPLORING THE EFFECTIVENESS OF PROOF, 2008, : 29 - 48
  • [2] FORMAL STRUCTURE OF DECISION-MAKING
    CHMIELEWICZ, K
    [J]. ZEITSCHRIFT FUR BETRIEBSWIRTSCHAFT, 1970, 40 (04): : 239 - 268
  • [3] DEVELOPMENTS IN FORMAL PROOFS
    Hales, Thomas C.
    [J]. ASTERISQUE, 2015, (367) : 387 - 410
  • [4] From formal proofs to mathematical proofs: A safe, incremental way for building in first-order decision procedures
    Blanqui, Frederic
    Jouannaud, Jean-Pierre
    Strub, Pierre-Yves
    [J]. FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 349 - +
  • [5] A Problem with the Dependence of Informal Proofs on Formal Proofs
    Tanswell, Fenner
    [J]. PHILOSOPHIA MATHEMATICA, 2015, 23 (03) : 295 - 310
  • [6] A FORMAL MODEL OF CREATIVE DECISION-MAKING
    KIM, SH
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1991, 8 (01) : 53 - 65
  • [7] A Formal Model Based Automated Decision Making
    Avram, Calin
    Gligor, Adrian
    Avram, Laura
    [J]. 13TH INTERNATIONAL CONFERENCE INTERDISCIPLINARITY IN ENGINEERING (INTER-ENG 2019), 2020, 46 : 573 - 579
  • [8] Formal description of the cognitive process of decision making
    Wang, YX
    Liu, D
    Ruhe, G
    [J]. PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, 2004, : 124 - 130
  • [9] FORMAL ANALYSIS AND STRATEGIC DECISION-MAKING
    LANGLEY, A
    [J]. OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, 1991, 19 (2-3): : 79 - 99
  • [10] THE USE AND ABUSE OF FORMAL PROOFS
    THOMPSON, JR
    [J]. SIGPLAN NOTICES, 1983, 18 (07): : 75 - 79
12345