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

	Документы, связанные с Мишель Каплэн Резюме статьи, 15.07.1974(?) "Finding Invariant Assertions for Proving Programs". По порядку \| По алфавиту \| По дате Назад
	Switch to English \| Поиск \| Расширенный поиск \| Папки \| Темы