Principal Type-Schemes and Condensed Detachment.

J. Roger Hindley David Meredith

Published in: J. Symb. Log. (1990)

Keyphrases

control system
real time
multiscale
computational complexity
high quality
artificial neural networks
spatio temporal
multiple types