|
libcats.org
Главная →
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|
|