|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с В. В. Блэдсоу Резюме статьи, 15.07.1974(?) "An Interactive Program Verification System".
Письмо, В. В. Блэдсоу->А.П. Ершов, 10.08.1976Приглашение принять участие в Пятой международной конференции по искусственному интеллекту.
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
