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

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Mary Anne's Book

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

Open quantum systems III recent developments

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

Сбор лекарственных растений

 Автор:
Категория: Медицина
Размер книги: 1.66 Mb

Рисунок и живопись пейзажа

 Автор: , Автор:
Категория: color, , color, paint
Размер книги: 22.54 Mb

Maven by Example

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

Introduction to Structural Motion Control

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

Rising Waters [Short stories]

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

A Dream, After Reading Dante's Episode of Paolo and Francesca

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