The Girard Translation Extended with Recursion.

Torben Braüner

Published in: CSL (1994)

Keyphrases

complex objects
machine translation
real time
multimedia
multiresolution
rotation and translation
database
machine learning
three dimensional
search algorithm
expert systems
artificial neural networks
deductive databases
transitive closure