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

Журнал
Association for computing machinery (New York, NY). ACM Transactions on Computational Logic/ Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - New York, NY : [s. n.], 2000 - . - Выходит ежеквартально. - ISSN 1529-3785. - Текст : непосредственный.
ГРНТИ УДК
28.23.17 004.312
28.23.25
50.01.05
50.05
27.41
Параллельные издания: ACM Transactions on Computational Logic : ACM. - ISSN 1529-3785 (Шифр ac1ec8dc9943a375eede50a64b78832f)

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

journal link

journal link

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): V5071)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): vr=A531684)

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

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