Шифр: V4165 () Journal of Automated Reasoning [Электронный ресурс]. - Berlin : springer, 1985 - (Springer). - Выходит раз в два месяца. - ISSN 0168-7433 Аннотация: Статьи по теории, процессам и применению автоматических рассуждений: от представления новых правил вывода с доказательствами их логических свойств до детальных отчетов о компьютерных программах, спроектированных для решения задач в промышленности: автоматическое доказательство теорем, логическое программирование, экспертные системы, синтез и оценивание программ, искусственный интеллект, вычислительная логика, роботехника и их применение в промышленности; проектирование и реализация компьютерных программ для решения задач автоматического проектирования. journal link (full text - НТО-3)