Login / Signup
A Constructive Examination of a Russell-Style Ramified Type Theory.
Erik Palmgren
Published in:
Bull. Symb. Log. (2018)
Keyphrases
</>
theoretical basis
database
real time
computational model
theoretical framework
formal theory
genetic algorithm
artificial intelligence
decision making
multi agent systems
preprocessing
relational databases
theoretical foundation
type checking