Universes in explicit mathematics.

Gerhard Jäger Reinhard Kahle Thomas Studer

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

Keyphrases

computer assisted learning
real time
data sets
real world
genetic algorithm
multimedia
computer science
digital libraries
artificial neural networks
computer algebra systems