Поиск :
Личный кабинет :
Электронный каталог: Филиппов Н.Е. - Современный подход к автоматическому доказательству теорем
Филиппов Н.Е. - Современный подход к автоматическому доказательству теорем
Нет экз.
Книга (аналит. описание)
Автор: Филиппов Н.Е.
Философско-методологические проблемы искусственного интеллекта: Современный подход к автоматическому доказательству теорем
б.г.
ISBN отсутствует
Автор: Филиппов Н.Е.
Философско-методологические проблемы искусственного интеллекта: Современный подход к автоматическому доказательству теорем
б.г.
ISBN отсутствует
Книга (аналит. описание)
Филиппов, Н.Е.
Современный подход к автоматическому доказательству теорем / Н.Е. Филиппов, Д.А. Сергеев // Философско-методологические проблемы искусственного интеллекта: материалы постоянно действующего теоретического междисциплинарного семинара / ред. Е.В. Середкина. – Пермь: ПГТУ, 2007. – С. 164-166.
Филиппов, Н.Е.
Современный подход к автоматическому доказательству теорем / Н.Е. Филиппов, Д.А. Сергеев // Философско-методологические проблемы искусственного интеллекта: материалы постоянно действующего теоретического междисциплинарного семинара / ред. Е.В. Середкина. – Пермь: ПГТУ, 2007. – С. 164-166.