|
|||||||||||
Документы, связанные с А. Г. Красовский Статья "Mixed calculation and verification of symbol manipulation"
Пригласительный билет, 28.02.1983-01.03.1983Отделение математики АН СССР приглашает адресата принять участие в Общем годичном собрании Отделения, которое состоится 28 февраля - 1 марта 1983 г. в Математическом институте им. В.А. Стеклова АН СССР.
Тезисы доклада, 01.08.1983(?)"Анализ метаязыковых описаний на основе смешанных вычислений".
Записка, А. Г. Красовский->А.В. ЗамулинТекст статьи на русском языке адресату уже выслан. В течение недели надеется выслать и на английском.
По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|