In Memory of Martin Davis.

Wesley Calvert Valentina S. Harizanov Eugenio G. Omodeo Alberto Policriti Alexandra Shlapentokh

Published in: CoRR (2024)

Keyphrases

memory usage
memory requirements
memory size
search engine
digital libraries
computational power
artificial intelligence
case study
multiscale
relational databases
limited memory