Titlebook: Integrating Symbolic Mathematical Computation and Artificial Intelligence; Second International Jacques Calmet,John A. Campbell Conference

严重伤害

Combining theorem proving and symbolic mathematical computing,rover. A high level of interaction requires a common knowledge representation of the mathematical knowledge of the two systems. We describe a model for such a knowledge base mainly consisting of type and algorithm schemata, algebraic algorithms and theorems.

indifferent

贪婪的人

GONG

Integrating Symbolic Mathematical Computation and Artificial IntelligenceSecond International

expeditious

A general technique for automatically optimizing programs through the use of proof plans,small (meta-level) search space..Different optimizations are achieved by placing different characterizing restrictions on the form of this new sub-goal and hence on the subsequent proof. Metavariables and higher-order unification are used in a technique called . to circumvent eureka steps concerning

使饥饿

helper-T-cells

Jochen Pfalzgraf,Ute Cornelia Sigmund,Karel Stokkermans

引起

Luis M. Laita,Luis de Ledesma,Eugenio Roanes-Lozano,Eugenio Roanes-Macías

LIMIT

NAUT