Skolem Meets Schanuel.

Yuri Bilu Florian Luca Joris Nieuwveld Joël Ouaknine David Purser James Worrell

Published in: CoRR (2022)

Keyphrases

first order logic
artificial intelligence
data mining
expert systems