libcats.org
Главная →

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence

Обложка книги Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence

Proceedings of the 14th International Conference on Automated Deduction, held in Townsville, Australia, in July 1997. Paper.
Только что пользователи скачали эти книги:

Германия

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

Реквием по Германии

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

Good Taste, Bad Taste, and Christian Taste: Aesthetics in Religious Life

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

Emerson's Wife And Other Western Stories

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

Varden's Lady

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

Etage Te Huur

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