Goos G., Hartmanis J. — CADE Automated Deduction 6 conf :: Электронная библиотека попечительского совета мехмата МГУ

Авторизация

Поиск по указателям

Goos G., Hartmanis J. — CADE Automated Deduction 6 conf

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: CADE Automated Deduction 6 conf

Авторы: Goos G., Hartmanis J.

Аннотация:

6th Conference in Automated Deduction
New York, USA, June 7-9, 1982

Язык:

Рубрика: Computer science/

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1982

Количество страниц: 391

Добавлена в каталог: 02.12.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

О проекте