Репозиторий
Публикация
Print
Публикация
Print

First order logic of proofs. , 2011, http://tr.cs.gc.cuny.edu/tr/techreport.php?id=418.

Автор
Яворская Татьяна Леонидовна
 
Соавторы
S. Artemov
 
Тип публикации
Препринт
 
Язык публикации
Русский
 
Аффилиация
МГУ им. М.В. Ломоносова
 
Издательство
CUNY Ph.D. Program in Computer Science, TR-2011005:
 
Год
2011
 

Контакты

СПРАВОЧНАЯ СЛУЖБА



Многоканальный телефон:
+7 499 956-99-99

E-mail:information@ranepa.ru
ПРИЕМНАЯ КОМИССИЯ
119571, г. Москва,
Проспект Вернадского, д. 84
Бакалавриат и специалитет:
Call-центр:
+7 499 956-99-99 (многоканальный)
Часы работы: 10.00 – 18.00

Магистратура:
Контакты приемных подкомиссий факультетов/институтов Академии
ПРЕСС-СЛУЖБА
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:
+7 499 956-99-69



E-mail:press@ranepa.ru
Гостинично-жилой комплекс
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:+7 499 956-00-44+7 495 434-33-25

E-mail: reserv@ranepa.ru

Президентская академия - лидирующий вуз России!