Tohrul Mamedov

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Logical Formulas

Markov Logic Networks

Propositional Logic

Quantifier Free

Top Venues

Comput. Sci. J. Moldova

Publications

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak, Tohrul Mamedov
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. Comput. Sci. J. Moldova 27 (2) (2019)