Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Электронные книги
»
Lost & found
Алгорифм машинного поиска естественного логического вывода в
Пред. тема
|
След. тема
alex_dorin
Алгорифм машинного поиска естественного логического вывода в
10.04.2013, 21:09
Помогите найти -
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц , В.П. Оревков, А.О. Слисенко М. - Л., Наука, 1965.
А. Дорин
Страница
1
из
1
[ 1 сообщение ]
Список форумов
»
Электронные книги
»
Lost & found