Полное описание
Журнал
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)
Аннотация: Статьи по исследованиям, связанным с все возрастающей ролью использования логики в области информатики, включая искусственный интеллект, сложность вычислений, системы баз данных и языки программирования, а также в новых областях: машинное обучение, системы баз данных, верификация и спецификация программ и др.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): V5071)
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): vr=A531684)Записей номеров в Каталоге: 22