Reflections on reflections in explicit mathematics.

Gerhard Jäger Thomas Strahm

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

website
computer science
real time
neural network
real world
wide range
trade off
mobile robot