Scholar
Gate
Ассистент
Все области
▾
RU ▾
О проекте
Вопрос и дизайн исследования
Выборка и измерение
Анализ
Причинность и доказательства
Представление результатов и этика
Главная
/
Автор
John Alan Robinson
Методы, относящиеся к этому автору.
1 метод
Численные методы
1
Automated Theorem Proving
1965