Completeness and Categoricity (in Power): Formalization without foundationalism.

John T. Baldwin

Published in: Bull. Symb. Log. (2014)

Keyphrases

power consumption
knowledge representation
information technology
real time
information systems
data quality
power distribution
website
image segmentation
data structure
hidden markov models
mobile robot