Russellian Definite Description Theory - a Proof Theoretic Approach.

Andrzej Indrzejczak

Published in: Rev. Symb. Log. (2023)

Keyphrases

high level
information technology
computational model
neural network
theoretical framework
theoretical foundation
conceptual framework
theoretical basis
general theory
social networks
computer vision
feature selection
multiscale
theorem prover
shape description