Determinacy in third order arithmetic.

Sherwood Hachtman

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

Keyphrases

arithmetic operations
conjunctive queries
case study
data sets

neural network
artificial intelligence
feature selection

image processing
web services
image segmentation

search algorithm
special case
hardware implementation