Bochenski on Property Identity and the Refutation of Universals.

Published in: J. Philos. Log. (2006)

Keyphrases

theorem prover
databases
theorem proving
inductive inference
real time
data sets
genetic algorithm
feature extraction
wide range
trade off
evolutionary algorithm
medical images
desirable properties