A First Order Theory of Functional Parthood.

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

Keyphrases

theoretical basis
theoretical framework
higher order
data sets
general theory
first order logic
real time
neural network
information retrieval
quantifier elimination
logical theories