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.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

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

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

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

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

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

Древо жизни

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

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

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

Стихи

 Автор:
Категория: Поэзия
Размер книги: 17 Kb

The Moonless Night

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

Seifert Manifolds

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

Weather, Climate and Climate Change: Human Perspectives

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

Long Knife

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

The Portable Atheist: Essential Readings for the Nonbeliever

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

Stalking Nabokov- Selected Essays

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