Поиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Evdokimov A. A. «An algorithm for recognizing the completeness of a set of words and dynamics of prohibitions» // Applied Discrete Mathematics. Supplement 2016. №9 C.10-12
Borisov Evgeny V. «An axiomatization of a logic for crossworld predication» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2025. №88 C.22-29