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

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Юрий Нестеренко (Джордж Райт). СОС!

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

Discrete Mathematics

 Автор:
Категория: Математика, Discrete Mathematics
Размер книги: 890 Kb

Роботы на службе человека

 Автор:
Категория: science, technical, civil, engineer, civil, industry
Размер книги: 3.15 Mb

Historias de la historia

 Автор:
Категория: История
Размер книги: 629 Kb

The Bermuda Triangle

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

El decimo don

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