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

Booksee.org

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge

Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.

Скачать книгу бесплатно (pdf, 2.58 Mb) | Читать «Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

Популярные книги за неделю:

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

27.33 Mb

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Роман Савин

Категория: info, manual, computers, computers, manuals

5.26 Mb

Путь к здоровью и долголетию

Горен Михаэль

Категория: Здоровье

1.13 Mb

Система упражнений по развитию способностей человека (Практическое пособие)

Петров Аркадий Наумович

Категория: Путь к себе

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

#10

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

Только что пользователи скачали эти книги:

17.29 Mb

Ректификационные и абсорбционные аппараты

Александров И.А.

Категория: Биология биохимия химия химическая технология

14.23 Mb

Мифы древних славян. Велесова книга

Кайсаров А.С., Глинка Г.А., Рыбаков Б.А

Категория: Мифология

5.95 Mb

5.44 Mb

НЛП. Практическое руководство для достижения желаемых результатов

О'Коннор Дж.

Категория: people, contact, people, develop

2.08 Mb

#10

Passionate Captivity

Wilson Patricia

Категория: fiction

542 Kb