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 条
  • [21] Streams and strings in formal proofs
    Carbone, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 288 (01) : 45 - 83
  • [22] A Formal Representation for Intelligent Decision-Making in Games
    Liu, Chanjuan
    Zhang, Ruining
    Zhang, Yu
    Zhu, Enqiang
    [J]. MATHEMATICS, 2023, 11 (22)
  • [23] FORMAL ANALYSIS OF A CONSTITUTIONAL DECISION-MAKING ARGUMENT
    HANSON, RA
    [J]. MIDWEST JOURNAL OF POLITICAL SCIENCE, 1970, 14 (04): : 596 - 625
  • [24] ACTIVE LEARNING OF FORMAL DECISION-MAKING TECHNIQUES
    HASMAN, A
    [J]. ITALIAN JOURNAL OF GASTROENTEROLOGY, 1988, 20 (04): : 222 - 225
  • [25] Formal Group Fairness and Accuracy in Automated Decision Making
    Langenberg, Anna
    Ma, Shih-Chi
    Ermakova, Tatiana
    Fabian, Benjamin
    [J]. MATHEMATICS, 2023, 11 (08)
  • [26] POWER AND PARTICIPATION IN DECISION-MAKING IN FORMAL ORGANIZATIONS
    LAMMERS, CJ
    [J]. AMERICAN JOURNAL OF SOCIOLOGY, 1967, 73 (02) : 201 - 215
  • [27] An Agent Formal Model for Autonomous Decision-making
    Wu, Linjin
    Wu, Dongying
    Chen, Jiayong
    Li, Wenxiong
    [J]. 2012 FOURTH INTERNATIONAL CONFERENCE ON MULTIMEDIA INFORMATION NETWORKING AND SECURITY (MINES 2012), 2012, : 943 - 946
  • [28] HUMAN MIGRATION DECISION-MAKING - A FORMAL MODEL
    JUDSON, DH
    [J]. BEHAVIORAL SCIENCE, 1990, 35 (04): : 281 - 289
  • [29] An Integrative Formal Model of Motivation and Decision Making: The MGPM
    Ballard, Timothy
    Yeo, Gillian
    Loft, Shayne
    Vancouver, Jeffrey B.
    Neal, Andrew
    [J]. JOURNAL OF APPLIED PSYCHOLOGY, 2016, 101 (09) : 1240 - 1265
  • [30] The Computational Relevance of Formal Logic Through Formal Proofs
    Almeida, Ariane A.
    Rocha-Oliveira, Ana Cristina
    Ferreira Ramos, Thiago M.
    de Moura, Flavio L. C.
    Ayala-Rincon, Mauricio
    [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 81 - 96
12345