A More Direct Proof of a Result of Shelah.

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

Keyphrases

real time
artificial intelligence
learning environment
object recognition
evolutionary algorithm
formal proof
information technology
probabilistic model
management system