A Theory of Sets with the Negation of the Axiom of Inflnity.

Ruggero Ferro Stefano Baratella

Published in: Math. Log. Q. (1993)

Keyphrases

set theoretic
logic programming
theoretical framework
information theory
theoretical basis
information systems
computational model
computer vision
clustering algorithm
case study
similarity measure
logic programs
horn clauses