Principal Type Schemes for the Strict Type Assignment System.

Steffen van Bakel

Published in: J. Log. Comput. (1993)

Keyphrases

artificial intelligence
real time
data sets
neural network
genetic algorithm
learning algorithm
case study