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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

LightWave v9 lighting

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

Successful Snooker

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

In the Company of Vampires: A Dark Ones Novel

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

The Savage Caves

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

A Reader's Guide to Wallace Stevens

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

The Girl Who Leapt Through Time

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

Trinity Blue

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

Orbital Mechanics for Engineering Students, 3rd edition

 Автор: , Автор:
Категория: Aerospace Engineering
Размер книги: 14.70 Mb