Sign in

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

Sandra AlvesMaribel FernándezMário FloridoIan Mackie
Published in: High. Order Symb. Comput. (2010)
Keyphrases
  • neural network
  • data model
  • real time
  • real world
  • image processing
  • multiresolution
  • hidden markov models