Integration of automated reasoners: a progress report

被引：0
|
作者：
Armando, A [1 ]
Ranise, S [1 ]
Zini, D [1 ]
机构：
[1] Univ Genoa, DIST, Genoa, Italy
来源：
SYMBOLIC COMPUTATION AND AUTOMATED REASONING | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：237 / 238
页数：2
相关论文
共 50 条
  • [31] Progress in automated production
    Anon
    Konstruktion, 2008, (05):
  • [32] Progress in Automated Urinalysis
    Oyaert, Matthijs
    Delanghe, Joris
    ANNALS OF LABORATORY MEDICINE, 2019, 39 (01) : 15 - 22
  • [33] AUTOMATED ANALYSIS OF ELECTRICAL-ACTIVITY OF HUMAN BRAIN (EEG) - PROGRESS REPORT
    GEVINS, AS
    YEAGER, CL
    DIAMOND, SL
    SPIRE, JP
    ZEITLIN, GM
    GEVINS, AH
    PROCEEDINGS OF THE IEEE, 1975, 63 (10) : 1382 - 1399
  • [34] Automated evaluation of the α5 term of lepton g-2:: Progress report
    Kinoshita, T.
    Aoyama, T.
    Hayakawa, M.
    Nio, M.
    NUCLEAR PHYSICS B-PROCEEDINGS SUPPLEMENTS, 2006, 160 : 235 - 239
  • [35] Automated Integration Testing and Verification of a Secured SOA Infrastructure - an Experience Report in eHealth
    Bernhart, Mario
    Artner, Thomas
    Mauczka, Andreas
    Grechenig, Thomas
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 198 - 202
  • [36] Enabling automated integration of architectural languages: An experience report from the automotive domain
    Bucaioni, Alessio
    Becker, Matthias
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 184
  • [37] PREDNISONE AND PREDNISOLONE AS THERAPEUTIC AGENTS - PROGRESS REPORT ON THEIR INTEGRATION INTO GENERAL MEDICAL PRACTICE
    SPIES, TD
    STONE, RE
    LOPEZ, GG
    TELLECHEA, CMD
    TOCA, RL
    REBOREDO, A
    SUAREZ, RM
    JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1955, 159 (07): : 645 - 652
  • [38] PROGRESS IN SCHOOL INTEGRATION
    不详
    SCHOOL AND SOCIETY, 1965, 93 (2268): : 468 - 468
  • [39] ECONOMIC INTEGRATION FOR PROGRESS
    GIL, FG
    NATION, 1966, 203 (09) : 280 - 283
  • [40] Progress in Metropolitan Integration
    Reed, Thomas H.
    PUBLIC ADMINISTRATION REVIEW, 1949, 9 (01) : 1 - 10
12345