Архив академика А.П.Ершова

Архив

Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы

Международная конференция по надежности математического обеспечения

Статьи, заявленные на конференцию

Статья

Статья
"Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles".
Дата: 01.06.1974(?)
Названия статей: "Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles"
Оригинальный язык документа: английский
Авторы: Лоуренс Еловиц

Изображения страниц:


	1	2	3	4	5	6

Назад
Следующий документ (Статья)
Предыдущий документ (Статья)

Switch to English | Поиск | Расширенный поиск | Папки | Темы