seminaïve

comparative more seminaïve · superlative most seminaïve

1. alternativeAlternative form of semi-naive.

   1 more example

   Although it can almost entirely be considered as a (finite) specialization of mathematical logic (with its two parts corresponding to the closed and, respectively, open first order formulae), its roots come also from the seminaïve algebraic theory of sets, relations and functions, as well as from the computational complexity, computer programming, formal languages, etc.

   2016, Christian Mancas, Conceptual Data Modeling and Database Design, →ISBN