libcats.org
Главная →

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002

Обложка книги Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002

, , , ,
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb
Только что пользователи скачали эти книги:

Танцор

 Автор:
Категория: Русская классическая проза
Размер книги: 345 Kb

Richard A. Knaak - Dragonrealm 02 - Ice Dragon

 Автор:
Размер книги: 368 Kb

French furniture. Under Louis XIV

 Автор:
Категория: Рукоделие
Размер книги: 26.72 Mb

Календарь протофили Вильсона

 Автор:
Категория: Посвящения
Размер книги: 15 Kb

Visualizing the Structure of Science

 Автор: , Автор:
Размер книги: 20.38 Mb

La Traicion

 Автор:
Категория: fiction
Размер книги: 1.43 Mb

Queen of Swords

 Автор:
Категория: fiction
Размер книги: 390 Kb