Linearity and iterator types for Gödel's System.

Sandra Alves Maribel Fernández Mário Florido Ian Mackie

Published in: High. Order Symb. Comput. (2010)

Keyphrases

neural network
data model
real time
real world
image processing
multiresolution
hidden markov models