Prefix classes of krom formulae with identity.

Stål O. Aanderaa Egon Börger Yuri Gurevich

Published in: Arch. Math. Log. (1980)

Keyphrases

data structure
neural network
website
training data
class hierarchy