Locally Definable Acceptance Types - The Three-Valued Case.

Ulrich Hertrampf

Published in: LATIN (1992)

Keyphrases

data sets
machine learning
databases
image processing
logic programs
logic programming
theoretical framework
first order logic