Login / Signup
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26-31, 2022.
Published in:
Bull. Symb. Log. (2023)
Keyphrases
</>
multi valued
classical logic
computer algebra
neural network
machine learning
information systems
mathematical theory
latin american
data sets
database systems
face recognition
association rules
logic programming
automated reasoning
digital circuits