AUTOMATED REASONING - THEORY

被引：0
|
作者：
HUMPERT, B [1 ]
机构：
[1] HASLER RES LABS, CH-3000 BERN, SWITZERLAND
来源：
HELVETICA PHYSICA ACTA | 1986年 / 59卷 / 6-7期
关键词：
D O I：
暂无
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：1264 / 1264
页数：1
相关论文
共 50 条
  • [1] Automated Reasoning in Social Choice Theory: Some Remarks
    Chatterjee S.
    Sen A.
    [J]. Mathematics in Computer Science, 2014, 8 (1) : 5 - 10
  • [2] Automated Geometric Reasoning with Geometric Algebra: Theory and Practice
    Li, Hongbo
    [J]. PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, : 7 - 8
  • [3] Instantiation-Based Automated Reasoning: From Theory to Practice
    Korovin, Konstantin
    [J]. AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 163 - 166
  • [4] Automated reasoning
    Gavanelli, Marco
    Mancini, Toni
    [J]. INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
  • [5] AUTOMATED REASONING
    WOS, L
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92
  • [6] Compositional Pre-processing for Automated Reasoning in Dependent Type Theory
    Blot, Valentin
    Cousineau, Denis
    Crance, Enzo
    de Prisque, Louise Dubois
    Keller, Chantal
    Mahboubi, Assia
    Vial, Pierre
    [J]. PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 63 - 77
  • [7] AN OVERVIEW OF AUTOMATED REASONING
    POST, S
    SAGE, AP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
  • [8] The flowering of automated reasoning
    Wos, L
    [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 204 - 227
  • [9] Applications of automated reasoning
    Furbach, Ulrich
    Obermaier, Claudia
    [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
  • [10] AUTOMATED REASONING - APPLICATIONS
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
12345