2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Обобщенный обратный метод Маслова
Сообщение07.08.2014, 08:48 


08/03/11
273
Здравствуйте !

Помогите найти труд Маслова :

Обобщенный обратный метод для исчисления предикатов с равенством
записки научных семинаров ЛОМИ 20 с 80-96

Название перевел из книги на англ языке
http://books.google.com.ua/books?id=9os ... ed&f=false

С уважением
А. Дорин

-- Чт авг 07, 2014 08:08:42 --

Уточнение -
Маслов С.Ю. Обобщение обратного метода на исчисление предикатов с равенством// Записки ЛОМИ АН СССР. 1971. - т.20. - С.80-96

 Профиль  
                  
 
 Posted automatically
Сообщение07.08.2014, 09:44 


20/03/14
12041
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Lost & found»

 Профиль  
                  
 
 Re: Обобщенный обратный метод Маслова
Сообщение07.08.2014, 09:49 
Заслуженный участник
Аватара пользователя


08/11/11
5940
На mathnet.ru есть. Только не "обобщение", а " распространение".

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модератор: Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group