Finite Replacement and Finite Hilbert-Style Axiomatizability.

Burghard Herrmann Wolfgang Rautenberg

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

Keyphrases

finite number
multiscale
databases
neural network
reinforcement learning
video sequences
preprocessing
multiresolution
mobile robot
logic programs
unit length