Afișare rezultate
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "soundness and completeness" 
| Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition |
| Nikitcenko Micola, Shkilniak Oksana, Shkilniak Stepan, Mamedov Tohrul |
| Taras Shevchenko National University of Kyiv |
| Computer Science Journal of Moldova |
| Nr. 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330 |
| Disponibil online 22 September, 2019. Descarcări-3. Vizualizări-751 |
    |
1-1 of 1
