Filling cages. Reverse mathematics and combinatorial principles.

Marta Fiori-Carones

Published in: Bull. Symb. Log. (2020)

Keyphrases

computer science
theoretical framework
website
hidden markov models
case study
search engine
information systems
high level
database systems
cooperative
expert systems
design principles
computer assisted instruction