Полное описание

Журнал
Association for Computing Machinery (New York, NY). ACM Transactions on Computational Logic. - New York, NY, 2000 - . - Выходит ежеквартально. - ISSN 1529-3785. - Текст : непосредственный.
ГРНТИ + 28.23.17 + 28.23.25 + 50.01.05 + 50.05 + 27.41
Параллельные издания: ACM Transactions on Computational LogicACM Transactions on Computational Logic : ACM. - ISSN 1557-945X

Аннотация: Статьи по исследованиям, связанным с все возрастающей ролью использования логики в области информатики, включая искусственный интеллект, сложность вычислений, системы баз данных и языки программирования, а также в новых областях: машинное обучение, системы баз данных, верификация и спецификация программ и др.
journal link

Записей номеров в Каталоге: 22

Год Том Номера 1 2 3 4 2000 1     2001 2       2002 3       2003 4 2004 5     2007 8 2008 9   2009 10   2010 11