Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Jacques Calmet,Carla Limongelli Conference proceedings 1996

seduce

開花期女

詞匯表

蜿蜒而流

Friedrich H. W. Heuck,Elmar Keckematical software into components, and the direct manipulation of workspaces is an improvement over name bindings. Further, document parts can act as placeholders for upcoming results. Viewing document parts within a textual context allows scripting within documents.

sleep-spindles

entitle

DiscAtinf: A general framework for implementing calculi and strategies,nt a large class of computational systems (proof procedures, constraints solving algorithms...) are presented. Systems are described by sets of rules along with a strategy to guide the application of these rules. This formalism has been chosen because it fits well to the standard mathematical practi

DEMUR

foliage

A reflective language based on conditional term rewriting,s own computation. Implementing meta-computation by high-level language enables us to access meta-level with high-abstract interface. In recent years this notion can be found in several fields of computer science and artificial intelligence. In particular, in the field of intelligent systems meta-co

adequate-intake

可互換