Отображение 1 - 4 из 4 для поиска: '"Автоматическое доказательство"', время запроса: 0.54сек.
  1. 1
    “...Автоматическое доказательство теорем Для студентов мех.-мат. фак. А. М. Богомолов, А. А. Курилов, В...”
    Книги
    Добавить в Избранное
    Сохранено в:
  2. 2
    Автор Манцивода, А. В.
    “...Абстрактные типы данных и автоматическое доказательство теорем Автореф. дис. на соиск. учен. степ...”
    Авторефераты диссертаций
    Добавить в Избранное
    Сохранено в:
  3. 3
    Автор Чень, Ч.
    “...Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли Перевод с авгл. Г. В...”
    Книги
    Добавить в Избранное
    Сохранено в:
  4. 4
    Автор Манцивода, А. В.
    “...Абстрактные типы данных и автоматическое доказательство теорем [Микроформа] Дис. ... канд. физ.-мат...”
    Диссертации
    Добавить в Избранное
    Сохранено в:
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email – Сохранить запрос