An equiconsistency Result on Partial squares.

John Krueger Ernest Schimmerling

Published in: J. Math. Log. (2011)

Keyphrases

artificial neural networks
artificial intelligence
decision trees
high level
video sequences
management system