The theory of integrally closed domains is not finitely axiomatizable.

Published in: Math. Log. Q. (2015)

Keyphrases

application domains
formal theory
theoretical basis
database
information systems
computational model
finite number
artificial intelligence
computer vision
image processing
case study
artificial neural networks
theoretical framework
inductive inference
queueing networks