Вы здесь
Beeson M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Mathpert: Computer Support for Learning Algebra, Trig, and Calculus | 1992 | Beeson M. | Lecture Notes in Artificial Intelligence | 11.08.1992 | |||
| СТ | Some Applications of Gentzen s Proof Theory in Automated Deduction | 1990 | Beeson M. | Lecture Notes in Artificial Intelligence | 14.03.1991 |