Login / Signup
Program Logics of Renominative Level with the Composition of Predicate Complement.
Mykola S. Nikitchenko
Oksana Shkilniak
Stepan S. Shkilniak
Published in:
ICTERI Workshops (2019)
Keyphrases
</>
expressive power
levels of abstraction
real time
data mining
first order logic
classical logic
databases
case study
multiscale