Журналы
Разделы книг
Статьи по ключевому слову predicate logic
А.Н. Якимов1, А.Р. Бестугин2, И.А. Киршина3, О.П. Куркова4
1-4 Санкт-Петербургский государственный университет аэрокосмического приборостроения (Санкт-Петербург, Россия)
1 y_alder@mail.ru; 2 fresguap@mail.ru; 3 ikirshina@mail.ru; 4 aljaskaolga@mail.ru