Encounters in Symbolic Computation: Ideas for the Ages.

Erich L. Kaltofen

Published in: ISSAC (2024)

Keyphrases

artificial intelligence
knowledge integration
automated deduction
neural network
real world
decision trees
database systems
optimal solution
trade off