A Proof Environment for Arithmetic with the Omega Rule.

Siani Baker Alan Smaill

Published in: AISMC (1994)

Keyphrases

dynamic environments
database
artificial intelligence
association rules
programming environment
data sets
neural network
information retrieval
learning algorithm
multiscale
search algorithm
wireless sensor networks
test bed