Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems.

Georgios Grivas

Published in: PLILP (1994)

Keyphrases

learning systems
expert systems
management system
programming language
distributed systems
asynchronous circuits
real time
learning algorithm
knowledge based systems
complex systems
digital circuits