Выборка по ключевым словам

• 517.51+514.17 автоматическое доказательство теорем1
• математическая логика1
• неклассические логики1

Выборка по автору

• a. a. larionov1
• a. v. davydov1
• e. a. cherkashin1
• а. а. ларионов1
• а. в. давыдов1
• е. а. черкашин1

Выборка по журналу

• моделирование и анализ информационных систем1

Выборка по дате публикации