Загрузка…
15293785
1557945X
Association for Computing Machinery
Journal
Издание специализируется на теоретических и практических аспектах вычислительной логики. Оно охватывает темы, связанные с формальными методами, алгоритмами и системами автоматизированного доказательства теорем, а также с логическими системами и их применением в вычислительных науках. Авторы исследуют задачи, такие как автоматизация логического вывода и разработка новых логических языков, применяя методы моделирования и анализа. Журнал будет интересен исследователям в области компьютерных наук, особенно тем, кто занимается логикой, теорией вычислений и алгоритмическими методами.
Подача рукописей в журналы Scopus и WoS временно недоступна из-за санкционных ограничений. Мы оказываем полную поддержку по публикации в журналах ВАК.
Зарегистрируйтесь на платформе АСНАП — получите требования журнала, шаблон оформления и рекомендации по подготовке рукописи
Вы представляете редакцию этого журнала? Исправьте данные →
Данные о журнале предоставлены АСНАП — Академической Системой Научной Активности и Публикаций