Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.

Daniel Kirchner Christoph Benzmüller Edward N. Zalta

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

Keyphrases

theoretical basis
theoretical framework
database
social networks
computer vision
decision trees
wide range
medical images
computational model