|
Книга ID: 1221135
Об алгоритме доказательства свойств абстрактных типов данных / Г. А. Кучеров
Тематика, ключевые слова:
Математическое программирование. Алгоритмы распознавания.
Сведения об издании:
Новосибирск ВЦ СО АН СССР 1987 25 с. 20 см
Язык:
rus
|
|