Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.

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

Keyphrases

high resolution
real time
neural network
digital topology
data sets
search engine
clustering algorithm
object recognition
consequence finding