Вы используете устаревший браузер. Пожалуйста, обновите браузер для эффективной работы с сайтом.

Журнал

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

1529-3785, 1557-945X
Scopus WoS CC Crossref DBLP MathSciNet zbMath Inspec Compendex
1 Уровень
Основная информация
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
-
1529-3785 (Scopus, Web of Science), 1557-945X (Web of Science)
  • Английский
  • США (Web of Science, ISSN.org, Scimago JR)
Crossref