TY  - SER
AU  - ДОБРЫНИН,С.
TI  - ЖЕЛЕЗНАЯ ЛОГИКА: математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам?
KW  - МАТЕМАТИКА
ER  -