|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Calmet J., Benhamou B., Caprotti O. — Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002 |
Обсудите книгу на
Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter
|
Название: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Авторы: Calmet J., Benhamou B., Caprotti O.
Аннотация:
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.
Язык: 
Рубрика: Computer science/
Статус предметного указателя: Неизвестно
ed2k:
Издание: 1
Год издания: 2002
Количество страниц: 354
Добавлена в каталог: 03.04.2022
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
|
|
|
| Предметный указатель |
|
|
|
| Реклама |
|
|
|
|
|
О проекте