Spectrally determined first-order limit laws.

Stanley N. Burris

Published in: Logic and Random Structures (1995)

Keyphrases

higher order
first order logic
quantifier elimination
databases
artificial intelligence
computer vision
image analysis
logic programs
concept learning
stochastic dominance