Complete Proof Systems for Algebraic Simply-Typed Terms.

Stavros S. Cosmadakis

Published in: LISP and Functional Programming (1994)

Keyphrases

management system
complex systems
computer vision
expert systems
co occurrence
higher order
knowledge based systems
learning systems
database
neural network
intelligent systems
computer systems
building blocks