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

ВАЗ 2110i, -2111i, -2112i

 Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

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

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

Contemporary Theatre, Film and Television, Volume 97

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

Шликерное литье

 Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Люди и деревья

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

Надменный герцог

 Автор:
Категория: Современные любовные романы
Размер книги: 278 Kb

Joy, Dara - High 01 - High Energy

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

Quantum Stochastic Processes and Non-Commutative Geometry

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

ASME BPVC 2010 - Section II, Part D: Properties (Metric)

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

Como Empapelar Paredes

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

Dynamics of the Standard Model, 2nd edition

 Автор: , Автор: , Автор: , Автор:
Категория: Physics
Размер книги: 3.00 Mb