Login / Signup
Type Theory with Opposite Types: A Paraconsistent Type Theory.
Juan Carlos Agudelo Agudelo
Andrés Sicard-Ramírez
Published in:
Log. J. IGPL (2022)
Keyphrases
</>
theoretical framework
theoretical basis
real time
neural network
special case
database
machine learning
decision trees
high level
search algorithm
positive and negative
theoretical foundation