Вы здесь
Mccune W.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
М | Automated Deduction in Equational Logic and Cubic Curves | 1996 | Mccune W., Padmanabhan R. | Lecture Notes in Artificial Intelligence | 01.08.1996 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Automated Deduction - CADE-14: Proc./14th Intern. Conf. on Automated Deduction. Townsville, North Queensland, Australia, July 1997 | 1997 | Lecture Notes in Artificial Intelligence |
|
12.07.1997 |