Elementary approximation theory
From MaRDI portal
Publication:1198440
zbMath0762.03015MaRDI QIDQ1198440
Publication date: 16 January 1993
Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)
finite modelsapproximating translationelementary approximation theoryfinitely axiomatizable first-order theories
Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13)
This page was built for publication: Elementary approximation theory
