Вы здесь

Mccune W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Automated Deduction in Equational Logic and Cubic Curves 1996 Mccune W., Padmanabhan R. Lecture Notes in Artificial Intelligence 01.08.1996