документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Редакционно-издательская деятельность Работа в журнале "Information Processing Letters" IPL. Статья Т. Такаока Регистрационная карточка

	Регистрационная карточка на статью Т. Такаока "A Decomposition Rule for the Hoare Logic". Дата: 03.10.1987 Оригинальный язык документа: английский Авторы: Андрей Петрович Ершов Персоналии: Т. Такаока Изображения страниц: 1 Назад Предыдущий документ (Письмо)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016