Skolem labellings of generalised Dutch windmills.

Nancy E. Clarke Asiyeh Sanaei

Published in: Australas. J Comb. (2016)

Keyphrases

first order logic
lower bound
learning algorithm
knowledge base
high dimensional
knowledge acquisition