Шкільняк, С.С.
(Искусственный интеллект, 2013)
У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових
композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не-
однозначних предикатів. Основна ...