The Finitistic Consistency of Heck's Predicative Fregean System.

Luís Cruz-Filipe Fernando Ferreira

Published in: Notre Dame J. Formal Log. (2015)

Keyphrases

consistency checking
image segmentation
three dimensional
database systems
object recognition
artificial neural networks
evolutionary algorithm