Перейти к основному содержанию
  • Лекториум

  • Меню
  • Онлайн-курсы
  • Медиатека
  • Онлайн-школы
  • Courses in English
  • Войти

Вы здесь

  • Главная
  • Медиатека
  • John Harrison

John Harrison

Сотрудник Intel Corporation.

Персональная страница

Источник фото и информации

Курсы

A survey of automated theorem proving
Computer Science клуб при ПОМИ РАН
John Harrison
Курс (4)
 3753

Лекции

A survey of automated theorem proving. Lecture 3
Computer Science клуб при ПОМИ РАН
John Harrison
 3300

A survey of automated theorem proving. Lecture 4
Computer Science клуб при ПОМИ РАН
John Harrison
 3299

A survey of automated theorem proving. Lecture 1
Computer Science клуб при ПОМИ РАН
John Harrison
Хит
 9914

A survey of automated theorem proving. Lecture 2
Computer Science клуб при ПОМИ РАН
John Harrison
 2823

Разделы

Онлайн-курсы

Медиатека

Онлайн-школы

Конференция Парсек

Чаты и общение

Партнёрам

Издательство

Видеосъёмка

Обучение сотрудников

Платформа Эдуардо

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

Поддержать проект

Правовая информация

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

Одноклассники