Elementary theories and hereditary undecidability for semilattices of numberings.

Nikolay Bazhenov Manat Mustafa Mars M. Yamaleev

Published in: Arch. Math. Log. (2019)

Keyphrases

description logics
theoretical framework
database systems
support vector
school children
database
real time
machine learning
artificial intelligence
computational models
cognitive psychology
answering queries
legal knowledge