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 条
  • [21] Integration of U.S. Macroeconomic Accounts: A Progress Report
    Robert P Parker
    Business Economics, 2005, 40 (2) : 56 - 63
  • [22] COMPUTER SYMBOLIC INTEGRATION OF NONLINEAR DIFFERENTIAL EQUATIONS - PROGRESS REPORT
    WILLIS, PS
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A245 - A245
  • [23] INTEGRATION IN FINITE TERMS WITH SPECIAL-FUNCTIONS - A PROGRESS REPORT
    CHERRY, GW
    CAVINESS, BF
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 : 351 - 358
  • [24] Knowledge integration for the post-genomic era: A progress report
    Lafky, DB
    HEALTHCOM 2003, PROCEEDINGS, 2003, : 10 - 14
  • [25] AUTOMATED TESTING OF THE TEMPERAMENT OF AFRICANIZED HONEY-BEES - A PROGRESS REPORT
    SPANGLER, HG
    SCHMIDT, JO
    THOENES, SC
    ERICKSON, EH
    AMERICAN BEE JOURNAL, 1990, 130 (11): : 731 - 733
  • [26] SPINE workshop on automated X-ray analysis: a progress report
    Bahar, M.
    Ballard, C.
    Cohen, S. X.
    Cowtan, K. D.
    Dodson, E. J.
    Emsley, P.
    Esnouf, R. M.
    Keegan, R.
    Lamzin, V.
    Langer, G.
    Levdikov, V.
    Long, F.
    Meier, C.
    Muller, A.
    Murshudov, G. N.
    Perrakis, A.
    Siebold, C.
    Stein, N.
    Turkenburg, M. G. W.
    Vagin, A. A.
    Winn, M.
    Winter, G.
    Wilson, K. S.
    ACTA CRYSTALLOGRAPHICA SECTION D-STRUCTURAL BIOLOGY, 2006, 62 : 1170 - 1183
  • [27] INTEGRATED GROUP OF FORMS FOR AUTOMATED PSYCHIATRIC CASE RECORDS - PROGRESS REPORT
    SPITZER, RL
    ENDICOTT, J
    ARCHIVES OF GENERAL PSYCHIATRY, 1971, 24 (06) : 540 - &
  • [28] INTEGRATED GROUP OF FORMS FOR AUTOMATED PSYCHIATRIC CASE RECORDS - PROGRESS REPORT
    SPITZER, RL
    ENDICOTT, J
    ARCHIVES OF GENERAL PSYCHIATRY, 1971, 24 (05) : 448 - &
  • [29] The Spallation Neutron Source diagnostics: Initial integration and commissioning progress report
    Assadi, S
    PROCEEDINGS OF THE 2003 PARTICLE ACCELERATOR CONFERENCE, VOLS 1-5, 2003, : 498 - 502
  • [30] AN EXPERIMENTAL APPROACH TO THE INTEGRATION OF PROFESSIONAL COURSES AT THE UNIVERSITY OF MINNESOTA - A PROGRESS REPORT
    Boardman, Charles W.
    JOURNAL OF EDUCATIONAL RESEARCH, 1941, 34 (09): : 672 - 678
12345