О переводе на русский Handbook of Automated Reasoning

[alex_dorin]

Агитирую перевести на русский язык -
Handbook of Automated Reasoning
by J. Alan Robinson (Editor), Andrei Voronkov (Editor)
ps имеется в электронном виде

[Red_Herring]

alex_dorin в сообщении #999615 писал(а):

Агитирую перевести на русский язык

Как-то неубедительно агитируете, не объясняете, чем хороша эта книга, какая у нее аудитория, почему ее стоит читать и кто выиграет от е перевода (исключая тех, у кого копирайт). Или ну хотя бы, вот так

Цитата:

Гей, ребята, все в поля
Для охоты на
Коня!
Лейся, песня, взвейся, голос.
Рвите ценный конский волос!

[alex_dorin]

Автор - А. И. Воронков - создатель самого мощного логического прувера первопорядковой логики Vampire.
Освещаются методы понижения сложности поиска доказательства проблемы.
Русскоязычная терминология в этой области фактически прекратила существование 30 лет назад.