libcats.org
Главная

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Обложка книги Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

, ,
Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning held in Tbilisi, Georgia, September 6-10, 1999. Softcover.
Популярные книги за неделю:

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

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

Древо жизни

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

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

Автор:
Категория: Здоровье
Размер книги: 363 Kb

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

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

Казак Давлет

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

Никита Павлов. Поколение B [O]

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

Action Chess: Purdy's 24 Hours Opening Repertoire

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

Рычаги

Автор:
Категория: Малая проза
Размер книги: 25 Kb

Empire of Ashes, A Novel of Alexander the Great

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