Login / Signup

2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024.

Published in: Bull. Symb. Log. (2024)
Keyphrases
  • san francisco
  • san jose
  • meeting room
  • multi party
  • data mining
  • computer algebra
  • real time
  • expert systems
  • belief revision
  • automated reasoning
  • computer programming
  • formal logic