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

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

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

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

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

Стихи и песни

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

Курс теории вероятностей

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

Спутниковые сети связи

 Автор: , Автор: , Автор:
Категория: СЕТЕВЫЕ ТЕХНОЛОГИИ
Размер книги: 12.07 Mb