A feasible theory of truth over combinatory algebra.

Sebastian Eberhard

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

boolean algebra
algebraic geometry
neural network
set theory
general theory
theoretical foundation
computational model
query language
expert systems
information systems
data sets
knowledge representation
feasible solution
database systems
theoretical basis
clustering algorithm
computer vision