|
libcats.org
Главная →
Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000 (Lecture Notes in Artificial Intelligence 1831)
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|
|