Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Тематические обсуждения
»
Computer Science
»
Software
Существуют ли пруверы, использующие генценовскую дедукцию ?
Пред. тема
|
След. тема
alex_dorin
Существуют ли пруверы, использующие генценовскую дедукцию ?
25.08.2012, 02:28
Существуют ли пруверы, использующие генценовскую дедукцию ?
longstreet
Re: Существуют ли пруверы, использующие генценовскую дедукцию ?
25.08.2012, 02:32
What?
Страница
1
из
1
[ Сообщений: 2 ]
Список форумов
»
Тематические обсуждения
»
Computer Science
»
Software