Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Электронные книги
»
Lost & found
ищу Воронков А.А., Дегтярев А.Н. Автоматическое доказательст
Пред. тема
|
След. тема
alex_dorin
ищу Воронков А.А., Дегтярев А.Н. Автоматическое доказательст
18.12.2012, 14:21
Здравствуйте !
ищу -
Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем //Кибернетика, 1986 No 3, 1987 No 4.
С уважением
Александр А Дорин
skype ALEXANDER_A_DORIN
Страница
1
из
1
[ 1 сообщение ]
Список форумов
»
Электронные книги
»
Lost & found