Login / Signup
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7-8, 2022.
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
meeting room
san francisco
machine learning
computer algebra
databases
information retrieval
search algorithm
logic programming
expressive power
audio visual
speaker diarization