Titlebook: Artificial Intelligence and Symbolic Mathematical Computation; International Confer Jacques Calmet,John A. Campbell,Jochen Pfalzgraf Confer

callous

,Knowledge-based information processing in manufacturing cells — The present and the future,entral degrees of freedom to react autonomously to occuring malfunctions requires knowledge-based approaches. An analysis of the distributed knowledge bases and the different representations of knowledge shows, that an integrated design of the knowledge-based systems is vital for the successful development of future autonomous manufacturing cells.

Flinch

MOAT

Conference proceedings 1996; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.

UNT

象形文字

Glaci冰

CBC471

大暴雨

Symbolic computation and teaching,Since 1989, the author has tried to show that it is possible to put a complete semester-long course in machine-held form. Several examples have been carried out (in .), and the paper reports on the experience, on the problems encountered, and on some suggestions for future developments.

只有

RALES

Data types in subdefinite models,We consider the mechanism of subdefinite models and the problem of representing data types in such models. A justification of the method of subdefinite models is given; various kinds of subdefinite extensions of data types are presented. We also investigate their efficiency in the solution of various problems.