Titlebook: 9th International Conference on Automated Deduction; Argonne, Illinois, U Ewing Lusk,Ross Overbeek Conference proceedings 1988 Springer-Ver

PEL

书目名称9th International Conference on Automated Deduction影响因子(影响力)




书目名称9th International Conference on Automated Deduction影响因子(影响力)学科排名




书目名称9th International Conference on Automated Deduction网络公开度




书目名称9th International Conference on Automated Deduction网络公开度学科排名




书目名称9th International Conference on Automated Deduction被引频次




书目名称9th International Conference on Automated Deduction被引频次学科排名




书目名称9th International Conference on Automated Deduction年度引用




书目名称9th International Conference on Automated Deduction年度引用学科排名




书目名称9th International Conference on Automated Deduction读者反馈




书目名称9th International Conference on Automated Deduction读者反馈学科排名

沙文主义

ectropion

BRIBE

方便

Mohssen Alabbadi,Stephen B. Wicker forced us to omit many of the details of our work. These are included in a longer version of this paper which is available from: The Documentation Secretary, Department of Artificial Intelligence, University of Edinburgh, Forrest Hill, Edinburgh EH1 2QL, Scotland.

弄脏

爱好

报复

Conference proceedings 1988oratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving,

famine

全部逛商店

Pierre-Alain Fouque,Jacques Sternay we show how the bulk of the problem solving, generalisation and application tasks of a (learning) problem solving system can be performed by the one algorithm. This work generalises ad hoc techniques developed in the field of Explanation Based Learning and presents the results in a formal setting