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
Только что пользователи скачали эти книги:

Front

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

Corrosion Science and Technology

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

Cairo by Night (Vampire: the Masquerade)

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

Carl Schmitt and Leo Strauss: The Hidden Dialogue

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

Area, lattice points, and exponential sums

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

Eve Missing

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