Skolem + Tetration Is Well-Ordered.

Mathias Barra Philipp Gerhardy

Published in: CiE (2009)

Keyphrases

first order logic
ordered sets
case study
information extraction
neural network
artificial intelligence
digital libraries
relational databases
probabilistic model
partially ordered